Decidability of Modular Logics for Concurrency

DOI10.1007/978-3-642-29709-0_24zbMath1336.03045OpenAlexW1122650559MaRDI QIDQ3457984

Radu Mardare

Publication date: 7 December 2015

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29709-0_24

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Modular Markovian Logic

This page was built for publication: Decidability of Modular Logics for Concurrency