Publication:4247682

zbMath0936.68070MaRDI QIDQ4247682

Sławomir Lasota

Publication date: 18 May 2000

zbMATH Keywords

transition systems; weak bisimilarity

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

18B20: Categories of machines, automata

Related Items

Automated generation of program translation and verification tools using annotated grammars