CONCUR 2004 - Concurrency Theory

DOI10.1007/B100113zbMath1099.68069OpenAlexW2499482941MaRDI QIDQ5311484

Pavel Krcal, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi

Publication date: 23 August 2005

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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 (2)

Shrinking timed automata ⋮ Timed Automata with Integer Resets: Language Inclusion and Expressiveness

This page was built for publication: CONCUR 2004 - Concurrency Theory