Temporal theories as modularisation units for concurrent system specification
From MaRDI portal
Publication:1192604
DOI10.1007/BF01212304zbMath0746.68031OpenAlexW2005819264MaRDI QIDQ1192604
José Luiz Fiadeiro, Thomas S. E. Maibaum
Publication date: 27 September 1992
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01212304
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)
Related Items (13)
Towards a First-Order Deontic Action Logic ⋮ Constructing systems as object communities ⋮ Deontic action logic, atomic Boolean algebras and fault-tolerance ⋮ Dynamic Logic with Binders and Its Application to the Development of Reactive Systems ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ Categorical foundations for structured specifications in \(\mathsf{Z}\) ⋮ A Tableaux System for Deontic Action Logic ⋮ A Branching Time Logical System for Open Distributed Systems Development ⋮ Algebra Transformation Systems as a Unifying Framework ⋮ Encapsulating deontic and branching time specifications ⋮ A logic for the stepwise development of reactive systems ⋮ Mirror, mirror in my hand: a duality between specifications and models of process behaviour ⋮ Verification of reactive systems using temporal logic with clocks
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Specifications in an arbitrary institution
- Logics of Modal Terms for Systems Specification
- Temporal Reasoning over Deontic Specifications
- Specifying Concurrent Program Modules
- A categorical manifesto
This page was built for publication: Temporal theories as modularisation units for concurrent system specification
