scientific article; zbMATH DE number 1302381

MaRDI QIDQ4247682zbMATH OpenFDO

Authors Sławomir Lasota

Publication date 18 May 2000

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)

Recommendations

• Bisimulation from open maps
• scientific article; zbMATH DE number 1189284
• A categorical view of timed weak bisimulation

Cited in

(4)

• Weighted and branching bisimilarities from generalized open maps
• Automated generation of program translation and verification tools using annotated grammars
• scientific article; zbMATH DE number 1231603 (Why is no real title available?)
• scientific article; zbMATH DE number 1189284 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247682)