scientific article; zbMATH DE number 7167773

MaRDI QIDQ5216150zbMATH OpenFDO

Authors Franco Barbanera, Steffen Van Bakel, Ugo de'Liguoro

Publication date 14 February 2020

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2015.4

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Orchestrated session compliance
• scientific article; zbMATH DE number 7168313
• Session types and subtyping for orchestrated interactions
• Session types for safe web service orchestration
• Compliance
• Globally Governed Session Semantics

Cited in

(8)

• Session types and subtyping for orchestrated interactions
• A fixed-points based framework for compliance of behavioural contracts
• Session types for safe web service orchestration
• Reversible client/server interactions
• Orchestrated session compliance
• Abstract Processes in Orchestration Languages
• Retractability, games and orchestrators for session contracts
• Foundations of Software Science and Computation Structures

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216150)