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

concurrencytransition systemstemporal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1424056
• 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)

• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• scientific article; zbMATH DE number 1424056 (Why is no real title available?)
• 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

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)