Characterizing Locality (Encapsulation) with Bisimulation

DOI10.1007/978-3-642-14808-8_22zbMath1286.68309OpenAlexW1544290342MaRDI QIDQ3585056

Thomas S. E. Maibaum, Pablo F. Castro

Publication date: 31 August 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-14808-8_22

zbMATH Keywords

deontic logiccategory theoryfault-tolerancesoftware verificationcomponent-based designsoftware specification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Encapsulating deontic and branching time specifications

This page was built for publication: Characterizing Locality (Encapsulation) with Bisimulation