An expressive logic for basic process algebra

DOI10.1007/3-540-57182-5_37MaRDI QIDQ4260381zbMATH OpenFDO

Authors Alessandro Fantechi, S. Gnesi, V. Perticaroli

Publication date 19 September 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57182-5_37

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Decision procedures and expressiveness in the temporal logic of branching time
• The temporal logic of branching time
• scientific article; zbMATH DE number 4119600
• Three logics for branching bisimulation
• scientific article; zbMATH DE number 4119599

Cited in

(13)

• Process logic with regular formulas
• Locality based semantics for process algebras
• On the expressiveness of choice quantification
• Compositional properties of sequential processes
• Deterministic process logic is elementary
• scientific article; zbMATH DE number 3909727 (Why is no real title available?)
• scientific article; zbMATH DE number 139606 (Why is no real title available?)
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• Contradiction-Tolerant Process Algebra with Propositional Signals
• A Logical Viewpoint on Process-algebraic Quotients
• scientific article; zbMATH DE number 937812 (Why is no real title available?)
• A logical viewpoint on process-algebraic quotients
• scientific article; zbMATH DE number 7319030 (Why is no real title available?)

This page was built for publication: An expressive logic for basic process algebra

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