scientific article; zbMATH DE number 2000425

zbMath1023.68731MaRDI QIDQ4433968

Milan Češka, Tomáš Vojnar, Vladimír Janousek

Publication date: 3 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2178/21780369.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)