A CALCULUS OF TIMED COMMUNICATING SYSTEMS

From MaRDI portal

Publication:5286028

Jump to:navigation, search

DOI10.1142/S0129054192000176zbMath0771.68083OpenAlexW2019137344MaRDI QIDQ5286028

Padmanabhan Krishnan

Publication date: 29 June 1993

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054192000176

zbMATH Keywords

strong bisimulation timing constraints preorder relations timed CCS

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5286028&oldid=19941199"