Concurrent Semantics Without the Notions of State or State Transitions

DOI10.1007/11867340_2zbMath1141.68510OpenAlexW1568735995MaRDI QIDQ3511219

Edward A. Lee

Publication date: 8 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11867340_2

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

CPO semantics of timed interactive actor networks ⋮ A Formal Framework for Interactive Agents

This page was built for publication: Concurrent Semantics Without the Notions of State or State Transitions