The Evolution of Jolie
From MaRDI portal
Publication:5256366
DOI10.1007/978-3-319-15545-6_29zbMath1454.68078MaRDI QIDQ5256366
Ivan Lanese, Gianluigi Zavattaro, Fabrizio Montesi
Publication date: 22 June 2015
Published in: Software, Services, and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_29
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software
Cites Work
- On the semantics of Alice \& Bob specifications of security protocols
- A formal semantics for protocol narrations
- Compositional Choreographies
- On Global Types and Multi-Party Session
- Deadlock-freedom-by-design
- Multiparty asynchronous session types
- Dynamic Error Handling in Service Oriented Applications
- Global Progress in Dynamically Interleaved Multiparty Sessions
- A Calculus for Orchestration of Web Services
- Structured Communication-Centred Programming for Web Services