A logic for the stepwise development of reactive systems
type: Item
instance of: scholarly article
title: A logic for the stepwise development of reactive systems
zbMATH Open document ID: 1400.68125
author: Alexandre Madeira
author: Rolf Hennicker
author: Manuel A. Martins
author: L. S. Barbosa
published in: Theoretical Computer Science
publication date: 2018-09-24T00:00:00Z
full work available at URL: http://hdl.handle.net/1822/69076
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6942951
zbMATH Keywords: specification
zbMATH Keywords: reactive systems
zbMATH Keywords: dynamic logic
zbMATH Keywords: hybrid logic
describes a project that uses: CASL
MaRDI profile type: Publication
OpenAlex ID: W2793703061
cites work: Reactive Systems
cites work: Q4945233
cites work: CASL: the Common Algebraic Specification Language.
cites work: Q3404131
cites work: Constructor-based observational logic
cites work: Hybrid languages and temporal logic
cites work: Institutional semantics for many-valued logics
cites work: Temporal theories as modularisation units for concurrent system specification
cites work: Institutions: abstract model theory for specification and programming
cites work: Q4518420
cites work: Action refinement.
cites work: Q3191614
cites work: Q4525781
cites work: Observational Semantics for Dynamic Logic with Binders
cites work: Proof of correctness of data representations
cites work: Q3777424
cites work: Q3859249
cites work: On models for propositional dynamic logic
cites work: Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
cites work: Compositional Modelling and Reasoning in an Institution for Processes and Data
cites work: Q3907077
cites work: Q3219122
cites work: CSP-CASL -- a new integration of process algebra and algebraic specification
cites work: Toward formal development of programs from algebraic specifications: Implementations revisited
cites work: Foundations of algebraic specification and formal software development.
cites work: Q4857386
DOI: 10.1016/J.TCS.2018.03.004
description: scientific article; zbMATH DE number 6942951