An interface theory for service-oriented design
From MaRDI portal
Publication:407507
DOI10.1016/j.tcs.2013.05.011zbMath1360.68631OpenAlexW2136194169MaRDI QIDQ407507
Antónia Lopes, José Luiz Fiadeiro
Publication date: 2 September 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2013.05.011
temporal logicorchestrationasynchronous process networkscomponent algebrainterface algebraservice-oriented computing
Related Items (2)
Dynamic networks of heterogeneous timed machines ⋮ Heterogeneous and asynchronous networks of timed systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A formal model for service-oriented interactions
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- From liveness to promptness
- Defining liveness
- Recognizing safety and liveness
- Reasoning about infinite computations
- Multiparty Session Types Meet Communicating Automata
- Closed Covers: To Verify Progress for Communicating Finite State Machines
- Parametric temporal logic for “model measuring”
- On Communicating Finite-State Machines
- On the progress of communication between two finite state machines
- Proofs of Networks of Processes
- Institutions: abstract model theory for specification and programming
- Structured Communication-Centred Programming for Web Services
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: An interface theory for service-oriented design