FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/b104325zbMath1117.68449OpenAlexW2950473912MaRDI QIDQ5465879

John C. Reynolds

Publication date: 12 August 2005

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

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

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)

Related Items

Static analysis of embedded real-time concurrent software with dynamic priorities, Resources, concurrency, and local reasoning, Abstraction for concurrent objects, Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language, Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs, Granularity and Concurrent Separation Logic, Retracing CSP