scientific article; zbMATH DE number 1302381

zbMATH Open0936.68070MaRDI QIDQ4247682FDOQ4247682

Authors: Sławomir Lasota 

Publication date: 18 May 2000

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (4)

• Weighted and branching bisimilarities from generalized open maps
• Automated generation of program translation and verification tools using annotated grammars
• Title not available (Why is that?)
• Title not available (Why is that?)

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)