Dynamic Logic with Binders and Its Application to the Development of Reactive Systems

DOI10.1007/978-3-319-46750-4_24zbMath1482.68143OpenAlexW2523683726MaRDI QIDQ3179414

Manuel A. Martins, Rolf Hennicker, Alexandre Madeira, Luís Soares Barbosa

Publication date: 21 December 2016

Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1822/43346

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems ⋮ Specification of systems with parameterised events: An institution-independent approach ⋮ Observational interpretations of hybrid dynamic logic with binders and silent transitions ⋮ Institution-based encoding and verification of simple UML state machines in CASL/SPASS ⋮ A logic for the stepwise development of reactive systems ⋮ Behavioural and abstractor specifications revisited

Uses Software

• CASL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Toward formal development of programs from algebraic specifications: Implementations revisited
• On models for propositional dynamic logic
• Temporal theories as modularisation units for concurrent system specification
• CASL: the Common Algebraic Specification Language.
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Constructor-based observational logic
• Institutional semantics for many-valued logics
• Proof of correctness of data representations
• Compositional Modelling and Reasoning in an Institution for Processes and Data
• Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
• Institutions: abstract model theory for specification and programming
• Reactive Systems
• Hybrid logic and its proof-theory

This page was built for publication: Dynamic Logic with Binders and Its Application to the Development of Reactive Systems