Ready Simulation for Concurrency: It’s Logical!

DOI10.1007/978-3-540-73420-8_65zbMath1171.68574OpenAlexW1599840139MaRDI QIDQ5428856

Gerald Lüttgen, Walter Vogler

Publication date: 28 November 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-3925

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Axiomatizing weak simulation semantics over BCCSP ⋮ Safe Reasoning with Logic LTS

This page was built for publication: Ready Simulation for Concurrency: It’s Logical!