scientific article; zbMATH DE number 2087444

MaRDI QIDQ4738239zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

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

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)