Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
Explore this paper's citation graph
Summary
This paper formalises the general concept of an SCA equipped with a global clock in order to analyse precisely specifications of their spatio-temporal behaviour and shows that the correctness of SCAs can be reduced to the validity of equations in certain computable algebras.
- Type
- article
- Published
- 2009-10-01
- Cited by
- 2,729
- References
- 89
- OpenAlex
- https://openalex.org/W2164331989
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:201046866
Keywords
Correctness, Computer science, Computation, Algorithm, Theoretical computer science
References
- Mechanized reasoning and hardware design
- The completeness of the algebraic specification methods for data types : (preprint)
- Program correctness over abstract data types, with error-state semantics
- Theory and Applications of Cellular Automata
- Directions in chaos
- Introduction to Metamathematics
- Computability in analysis and physics
- Systolic Parallel Processing
- Computable Analysis: An Introduction
- A mathematical theory of synchronous concurrent algorithms
- Introduction to systolic algorithm design
- Theoretical Foundations of Computer Graphics and CAD
- A logical calculus of the ideas immanent in nervous activity
- Neurocomputing: Foundations of Research
- Correct Hardware Design and Verification Methods
- Automata Networks: LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
- Higher-Order Algebra, Logic, and Term Rewriting
- Theoretical Foundations of VLSI Design
- Introduction to VLSI systems
- Algebraic Models of Correctness for Microprocessors
Cited by
- An Economic Analysis of Online Sharing Systems' Implications on Social Welfare
- Service Provision Evolution In Mobile Communication Networks
- Techniques for the allocation of resources under uncertainty
- Political Economy of Crop Insurance Risk Subsidies under Imperfect Information
- Easy Demand-System Estimation with Quaids
- Automated Qualitative Domain Abstraction
- The price of anarchy of serial cost sharing and other methods
- Truthful mechanisms for real-time system scheduling in competitive environments
- How perfect are markets for software services? an economic perspective on market deficiencies and desirable market features
- Protocols for sharing computing resources and dealing with nodes' selfishness in peer-to-peer networks
- Guidelines for Sustainable Development and Value Added of Processed Tamarind Products by Community Participation: Case Study of Community Based Enterprise Network of Processed Tamarind
- Price-oriented, Rationing-free Protocol: Guideline for Designing Strategy/False-name Proof Auction Protocols
- Partial Revelation Automated Mechanism Design
- Measuring information transmission for team decision making
- Arguments about Theory...Again
- Small-scale Fishermen and Risk Preferences
- Eliciting Honest Reputation Feedback in a Markov Setting
- A mixed methods inquiry into the political economy of agriculture and rural areas in Lebanon
- Prices are right: managing resources and incentives in peer-assisted content distribution
- Socioeconomic Distance as a Determinant of Female Autonomy and Child Welfare
Related papers
- Study on the Evacuation Simulation Based on Cellular Automata
- An Improved Algorithm of the Cellular Automata on the Evacuation Simulation
- Crowd Simulation for Evacuation Behaviors Based on Multi-agent System and Cellular Automaton
- Cellular Automaton Modeling and Its Applications in Computer Simulation of Microstructures
- Evolution of Microstructure during the Shape Rolling Modeled by Cellular Automata
- Simulation on Evacuation of Underground Construction Using Extended-Cellular Automaton
- Progress in Simulation of Solidification Microstructure Based on Cellular Automata Method
- Simulation of Pedestrian Movements on Slope Using Fine Grid Cellular Automata
- Parallel algorithms for arrangements