CONCUR 2004 - Concurrency Theory

DOI10.1007/b100113zbMath1099.68065OpenAlexW2499482941MaRDI QIDQ5311474

Oldřich Stražovský, Tomáš Brázdil, Antonín Kučera

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Analyzing probabilistic pushdown automata

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