Dynamic logic with binders and its application to the development of reactive systems

DOI10.1007/978-3-319-46750-4_24zbMATH Open1482.68143OpenAlexW2523683726MaRDI QIDQ3179414FDOQ3179414

Authors: Rolf Hennicker, Manuel A. Martins, Alexandre Madeira, L. S. 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

Recommendations

• A logic for the stepwise development of reactive systems
• Observational Semantics for Dynamic Logic with Binders
• Institutions for behavioural dynamic logic with binders
• Logical specification of reactive and real-time systems
• Composing and refining dense temporal logic specifications

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• Proof of correctness of data representations
• Reactive Systems
• Foundations of algebraic specification and formal software development.
• Title not available (Why is that?)
• Hybrid logic and its proof-theory
• Modeling and analysis of communicating systems
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Title not available (Why is that?)
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• CASL: the Common Algebraic Specification Language.
• Constructor-based observational logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Action refinement.
• Temporal theories as modularisation units for concurrent system specification
• Dynamic logic with binders and its application to the development of reactive systems
• Title not available (Why is that?)
• On models for propositional dynamic logic
• Institutional semantics for many-valued logics
• Compositional modelling and reasoning in an institution for processes and data

Cited In (12)

• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• Observational Semantics for Dynamic Logic with Binders
• Hybrid specification of reactive systems: an institutional approach
• Behavioural and abstractor specifications revisited
• Dynamic Reconfiguration via Typed Modalities
• Institutions for behavioural dynamic logic with binders
• Dynamic logic with binders and its application to the development of reactive systems
• Specification of systems with parameterised events: An institution-independent approach
• Hybrid dynamic logic institutions for event/data-based systems
• A logic for the stepwise development of reactive systems
• A hybrid dynamic logic for event/data-based systems
• Observational interpretations of hybrid dynamic logic with binders and silent transitions

Uses Software

• CASL

This page was built for publication: Dynamic logic with binders and its application to the development of reactive systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3179414)