The stream-based service-centred calculus: a foundation for service-oriented programming
From MaRDI portal
Publication:736830
DOI10.1007/s00165-013-0284-5zbMath1342.68058OpenAlexW2052853468MaRDI QIDQ736830
Ivan Lanese, António Ravara, Francisco Martins, Luís Cruz-Filipe, Vasco Thudichum Vasconcelos
Publication date: 5 August 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-013-0284-5
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Conversation types
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Type checking a multithreaded functional language with session types
- Web services. Concepts, architectures and applications
- Subtyping for session types in the pi calculus
- Deadlock-freedom-by-design
- Multiparty asynchronous session types
- A Theory of Design-by-Contract for Distributed Multiparty Interactions
- The Conversation Calculus: A Model of Service-Oriented Computation
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
- CaSPiS: a calculus of sessions, pipelines and services
- A Calculus for Orchestration of Web Services
- Structured Communication-Centred Programming for Web Services
- A Language for Task Orchestration and Its Semantic Properties