FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5897776
DOI10.1007/11590156zbMath1158.68424OpenAlexW2484051058MaRDI QIDQ5897776
Franck Cassez, Didier Lime, Serge Haddad, Olivier H. Roux, Béatrice Bérard
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11590156
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets, When are timed automata weakly timed bisimilar to time Petri nets?
