MIO Workbench
From MaRDI portal
Cited in
(33)- ECDAR
- Connecting open systems of communicating finite state machines
- Motras
- VMC
- MTSA
- A linear-time branching-time perspective on interface automata
- Logical vs. behavioural specifications
- Moving from interface theories to assembly theories
- Richer interface automata with optimistic and pessimistic compatibility
- ACTL for modal interface automata
- A generalised theory of interface automata, component compatibility and error
- Modal transition system encoding of featured transition systems
- Stuttering for abstract probabilistic automata
- Error-pruning in interface automata
- Nondeterministic modal interfaces
- Interface automata for shared memory
- A generalised theory of interface automata, component compatibility and error
- Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
- On refinements of Boolean and parametric modal transition systems
- Refinement and asynchronous composition of modal Petri nets
- Building a Modal Interface Theory for Concurrency and Data
- Extending modal transition systems with structured labels
- A modal interface theory with data constraints
- Modal Interface Theories for Communication-Safe Component Assemblies
- Stuttering for abstract probabilistic automata
- On weak modal compatibility, refinement, and the MIO workbench
- Compatibility in a multi-component environment
- Mica
- MoTraS: a tool for modal transition systems and their extensions
- Assembly theories for communication-safe component systems
- Modal specification theories for component-based design
- Interface theories for concurrency and data
- EXPTIME-completeness of thorough refinement on modal transition systems
This page was built for software: MIO Workbench
