The Evolution of Jolie
DOI10.1007/978-3-319-15545-6_29zbMATH Open1454.68078OpenAlexW32233327MaRDI QIDQ5256366FDOQ5256366
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- A Calculus for Orchestration of Web Services
- Multiparty asynchronous session types
- Structured Communication-Centred Programming for Web Services
- On global types and multi-party sessions
- Deadlock-freedom-by-design
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Compositional Choreographies
- On the semantics of Alice \& Bob specifications of security protocols
- A formal semantics for protocol narrations
- Dynamic Error Handling in Service Oriented Applications
Uses Software
This page was built for publication: The Evolution of Jolie
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256366)
