Process calculi as a tool for studying coordination, contracts and session types
From MaRDI portal
Publication:1987732
DOI10.1016/j.jlamp.2020.100527zbMath1476.68167OpenAlexW3008244314MaRDI QIDQ1987732
Mario Bravetti, Gianluigi Zavattaro
Publication date: 15 April 2020
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100527
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fair testing
- Formal methods for web services. 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1--6, 2009. Advanced lectures
- A calculus of mobile processes. I
- The covering and boundedness problems for vector addition systems
- A complete axiomatisation for observational congruence of finite-state behaviours
- Testing equivalences for processes
- On the boundary between decidability and undecidability of asynchronous session subtyping
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Undecidability of asynchronous session subtyping
- A process algebraic view of shared dataspace coordination
- Subtyping for session types in the pi calculus
- On the Undecidability of Asynchronous Session Subtyping
- A theory of contracts for web services
- Multiparty asynchronous session types
- Contract Based Multi-party Service Composition
- The Must Preorder Revisited
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- On Communicating Finite-State Machines
- Generative communication in Linda
- Computer Aided Verification
- Computability of Recursive Functions
- Well-structured transition systems everywhere!
This page was built for publication: Process calculi as a tool for studying coordination, contracts and session types
