Foundations of Software Science and Computation Structures

DOI10.1007/B95995zbMath1126.68499OpenAlexW3105029025MaRDI QIDQ5308452

Andrzej S. Murawski, Dan R. Ghica

Publication date: 28 September 2007

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

Higher-order linearisability ⋮ Unnamed Item ⋮ Program verification using symbolic game semantics ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ Asynchronous games. II: The true concurrency of innocence ⋮ Game Semantics for Access Control ⋮ Unnamed Item ⋮ Partial Orders, Event Structures and Linear Strategies ⋮ Definability and Full Abstraction ⋮ A Graph Abstract Machine Describing Event Structure Composition ⋮ Syntactic control of concurrency

This page was built for publication: Foundations of Software Science and Computation Structures