ACTL for modal interface automata

DOI10.1016/J.TCS.2017.06.011MaRDI QIDQ2404073zbMATH OpenOpenAlexFDO

Authors Ferenc Bujtor, Walter Vogler

Publication date 12 September 2017

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2017.06.011

zbMATH Keywords

refinementtemporal logicsinterface automataaction-based CTLmodal transition systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modal Interface Automata
• Modal interface automata
• Representing hybrid automata by action language modulo theories
• Modal I/O Automata for Interface and Product Line Theories
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Automata-theoretic techniques for modal logics of programs
• An algebraic theory of interface automata
• Modal logic for modelling actions and agents

Cites work

• A modal interface theory for component-based design
• Algebraic laws for nondeterminism and concurrency
• An action-based framework for veryfying logical and behavioural properties of concurrent systems
• Conjunction on processes: Full abstraction via ready-tree semantics
• Graphical versus logical specifications
• Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
• Modal I/O Automata for Interface and Product Line Theories
• Modal interface automata
• Modal transition systems: composition and LTL model checking
• Nondeterministic modal interfaces
• On weak modal compatibility, refinement, and the MIO workbench
• Richer interface automata with optimistic and pessimistic compatibility
• Safe reasoning with logic LTS
• Structural Refinement for the Modal nu-Calculus

Cited in

(5)

• Richer interface automata with optimistic and pessimistic compatibility
• Modal Interface Automata
• Modal interface automata
• Modal I/O Automata for Interface and Product Line Theories
• A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories

Describes a project that uses

Uses Software

• MIO Workbench

This page was built for publication: ACTL for modal interface automata

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