scientific article; zbMATH DE number 1302381

zbMath0936.68070MaRDI QIDQ4247682

Sławomir Lasota

Publication date: 18 May 2000

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

zbMATH Keywords

transition systemsweak bisimilarity

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

Related Items (1)

Automated generation of program translation and verification tools using annotated grammars

This page was built for publication: