scientific article; zbMATH DE number 1424056

MaRDI QIDQ4945247zbMATH OpenFDO

Authors Javier Esparza, Antonin Kučera

Publication date 23 March 2000

zbMATH Keywords

transition system

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Logical Viewpoint on Process-algebraic Quotients
• scientific article; zbMATH DE number 1222107
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• scientific article; zbMATH DE number 1333607
• Modal Logic and Equality for Process Algebra
• Using Hoare logic in a process algebra setting
• Bochvar-McCarthy logic and process algebra
• Quantales, observational logic and process semantics
• Expressiveness of process algebras
• A logical process calculus

Cited in

(4)

• A game for linear-time-branching-time spectroscopy
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• A Logical Viewpoint on Process-algebraic Quotients
• Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy

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