On implementations and semantics of a concurrent programming language

DOI10.1007/3-540-63141-0_27zbMath1512.68055OpenAlexW1548537923MaRDI QIDQ6044131

Peter Sewell

Publication date: 17 May 2023

Published in: CONCUR '97: Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63141-0_27

Mathematics Subject Classification ID

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

Related Items

From rewrite rules to bisimulation congruences, Pict correctness revisited

Cites Work

• Observation equivalence as a testing equivalence
• A calculus of mobile processes. II
• Testing equivalences for processes
• Testing equivalence for mobile processes
• Quantales, observational logic and process semantics
• On transformations of concurrent object programs
• On bisimulations for the asynchronous π-calculus
• Decoding choice encodings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item