Interface synthesis and protocol conversion
From MaRDI portal
Publication:2481210
DOI10.1007/s00165-007-0045-4zbMath1141.68036OpenAlexW2136873398MaRDI QIDQ2481210
Publication date: 9 April 2008
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-007-0045-4
Related Items (4)
Mediator Synthesis in a Component Algebra with Data ⋮ Using logic to solve the submodule construction problem ⋮ An algebraic theory of interface automata ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- A game semantics for linear logic
- Submodule construction as equation solving in CCS
- A discrete event systems approach for protocol conversion
- On the Construction of Submodule Specifications and Communication Protocols
- On the synthesis of strategies in infinite games
- On the synthesis of discrete controllers for timed systems
- Synchronous and Bidirectional Component Interfaces
- CONCUR 2004 - Concurrency Theory
- Automated Technology for Verification and Analysis
- Solving Sequential Conditions by Finite-State Strategies
This page was built for publication: Interface synthesis and protocol conversion
