An algebraic theory of interface automata
From MaRDI portal
Recommendations
- Automated Technology for Verification and Analysis
- scientific article; zbMATH DE number 3250570
- scientific article; zbMATH DE number 3390671
- A generalised theory of interface automata, component compatibility and error
- A generalised theory of interface automata, component compatibility and error
- Algebraic structures of automata
- Automata algebras
- Automata and algebraicity
- scientific article; zbMATH DE number 871424
- Automata on algebraic structures
Cites work
- scientific article; zbMATH DE number 4213439 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 4110131 (Why is no real title available?)
- scientific article; zbMATH DE number 559729 (Why is no real title available?)
- scientific article; zbMATH DE number 1759612 (Why is no real title available?)
- scientific article; zbMATH DE number 2209335 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- A calculus of communicating systems
- A compositional specification theory for component behaviours
- A modal interface theory for component-based design
- A note on fairness in I/O automata
- A process algebraic view of input/output automata
- Conjunction on processes: Full abstraction via ready-tree semantics
- Controllable delay-insensitive processes
- Interface synthesis and protocol conversion
- Learning I/O automata
- Modal I/O Automata for Interface and Product Line Theories
- Quiescence, fairness, testing, and the notion of implementation
- Ready simulation for concurrency: it's logical!
- Receptive process theory
- Revisiting timed specification theories: a linear-time perspective
Cited in
(29)- Feedback in synchronous relational interfaces
- Trace- and failure-based semantics for responsiveness
- An interface model of software components
- The algebraic structure of interfaces
- Interface automata with complex actions: limiting interleaving in interface automata
- Moving from interface theories to assembly theories
- Richer interface automata with optimistic and pessimistic compatibility
- Combining partial specifications using alternating interface automata
- Conditions of contracts for separating responsibilities in heterogeneous systems
- Error-pruning in interface automata
- ACTL for modal interface automata
- Generalized interface automata with multicast synchronization
- A compositional specification theory for component behaviours
- Modal Interface Automata
- Modal interface automata
- A generalised theory of interface automata, component compatibility and error
- scientific article; zbMATH DE number 2201909 (Why is no real title available?)
- Modal I/O Automata for Interface and Product Line Theories
- Interface automata for shared memory
- Fault-free refinements for interface automata
- An Algebraic Semantics for Contract-Based Software Components
- A linear-time branching-time perspective on interface automata
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts
- Extending interface automata with Z notation
- Error-pruning in interface automata
- Interface automata for shared memory
- From interface automata to hypercontracts
- Relating alternating relations for conformance and refinement
- Component algebra
This page was built for publication: An algebraic theory of interface automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q402131)
