scientific article; zbMATH DE number 2087444

zbMATH Open1077.68718MaRDI QIDQ4738239FDOQ4738239

Authors: Jiří Srba 

Publication date: 11 August 2004

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

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

Recommendations

• An algebraic characterization of transition system equivalences
• Publication:4734770
• Studying equivalences of transition systems with algebraic tools
• An algebraic and algorithmic method for analysing transition systems
• A coalgebraic presentation of structured transition systems
• A deductive approach towards reasoning about algebraic transition systems
• Extensional equivalences for transition systems
• Proving correctness of labeled transition systems by semantic tableaux
• A compositional proof system on a category of labelled transition systems
• scientific article; zbMATH DE number 4106267

Mathematics Subject Classification ID

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

Cited In (1)

• Decidability of performance equivalence for basic parallel processes

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 Q4738239)