A Logical Viewpoint on Process-algebraic Quotients

DOI10.1093/logcom/13.6.863zbMath1093.68066OpenAlexW1780977260MaRDI QIDQ4812317

Javier Esparza, Antonín 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

temporal logicconcurrencytransition systems

Mathematics Subject Classification ID

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

Related Items (2)

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