Weak Nominal Modal Logic

DOI10.1007/978-3-319-60225-7_13zbMath1489.68167OpenAlexW2620286833MaRDI QIDQ5082196

Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson

Publication date: 15 June 2022

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-60225-7_13

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Unnamed Item ⋮ Coverability Synthesis in Parametric Petri Nets

This page was built for publication: Weak Nominal Modal Logic