A Logical Viewpoint on Process-algebraic Quotients

DOI10.1093/LOGCOM/13.6.863MaRDI QIDQ4812317zbMATH OpenOpenAlexFDO

Authors Javier Esparza, Antonin Kučera

Publication date 7 September 2004

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/13.6.863

zbMATH Keywords

concurrencytemporal logictransition systems

Mathematics Subject Classification ID

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

Recommendations

• A logical viewpoint on process-algebraic quotients
• A process algebraic view of linear logic
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• An expressive logic for basic process algebra
• 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 generic framework for checking semantic equivalences between pushdown automata and finite-state automata
• A general approach to comparing infinite-state systems with their finite-state specifications
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• A logical viewpoint on process-algebraic quotients

This page was built for publication: A Logical Viewpoint on Process-algebraic Quotients

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