Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMath1180.68196OpenAlexW2504714231MaRDI QIDQ5899093

Walter Vogler, Gerald Lüttgen

Publication date: 2 May 2007

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Ready simulation for concurrency: it's logical!

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