Sharing actions and attributes in modal action logic

DOI10.1007/3-540-54415-1_65zbMath1493.68257OpenAlexW1578871155MaRDI QIDQ5096239

No author found.

Publication date: 16 August 2022

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

Full work available at URL: https://doi.org/10.1007/3-540-54415-1_65

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Sharing actions and attributes in modal action logic