Concurrent object-oriented programming
Communications of the ACM
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Elements of interaction: Turing award lecture
Communications of the ACM
Denotational semantics in the cpo and metric approach
Theoretical Computer Science
Handbook of logic in computer science (vol. 3)
Evolving algebras 1993: Lipari guide
Specification and validation methods
Interaction categories and the foundations of typed concurrent programming
Proceedings of the NATO Advanced Study Institute on Deductive program design
JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
VHDL design representation and synthesis (2nd ed.)
VHDL design representation and synthesis (2nd ed.)
Strictly causal functions have a unique fixed point
Theoretical Computer Science
Communicating sequential processes
Communications of the ACM
Java consistency: nonoperational characterizations for Java memory behavior
ACM Transactions on Computer Systems (TOCS)
The algebra of stream processing functions
Theoretical Computer Science
Discrete-event simulation
Introduction to Physical Modeling with Modelica
Introduction to Physical Modeling with Modelica
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
Metric Spaces as Models for Real-Time Concurrency
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Networks of Real-Time Processes
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Hybrid Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
The semantics and execution of a synchronous block-diagram language
Science of Computer Programming
Causality analysis of synchronous programs with delayed actions
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Computer
Semantic foundation of the tagged signal model
Semantic foundation of the tagged signal model
Turing machines, transition systems, and interaction
Information and Computation
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A Formal Framework for Interactive Agents
Electronic Notes in Theoretical Computer Science (ENTCS)
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
Model feasible interactions in distributed real-time systems
Formal modeling
Hi-index | 0.00 |
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deeply rooted in our notions of computation, but these roots have proved problematic in concurrent software in general, where they have led to such poor programming practice as threads. I review approaches (some of which have been around for some time) to the semantics of concurrent programs that rely on neither state nor state transitions. Specifically, these approaches rely on a broadened notion of computation consisting of interacting components. The semantics of a concurrent compositions of such components generally reduces to a fixed point problem. Two families of fixed point problems have emerged, one based on metric spaces and their generalizations, and the other based on domain theories. The purpose of this paper is to argue for these approaches over those based on transition systems, which require the notion of state.