FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5465879
DOI10.1007/b104325zbMath1117.68449MaRDI QIDQ5465879
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
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Retracing CSP, Abstraction for concurrent objects, Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language, Resources, concurrency, and local reasoning, Static analysis of embedded real-time concurrent software with dynamic priorities, Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs, Granularity and Concurrent Separation Logic