Orchestrated session compliance

DOI10.1016/j.jlamp.2016.08.002zbMath1353.68023arXiv1508.04849OpenAlexW2963941016MaRDI QIDQ347361

Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro

Publication date: 30 November 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1508.04849

zbMATH Keywords

complianceorchestrationsession contractssubcontract

Mathematics Subject Classification ID

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

Related Items (2)

Session types and subtyping for orchestrated interactions ⋮ Automated verification of automata communicating via FIFO and bag buffers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Contracts as games on event structures
• Contract-based discovery of Web services modulo simple orchestrators
• A calculus of mobile processes. II
• Subtyping for session types in the pi calculus
• Automata for Analysing Service Contracts
• Multiparty Session Types Meet Communicating Automata
• Decidable Topologies for Communicating Automata with FIFO and Bag Channels
• The Must Preorder Revisited
• On Communicating Finite-State Machines
• Recursive subtyping revealed
• Sub-behaviour relations for session-based client/server systems
• Modelling session types using contracts

This page was built for publication: Orchestrated session compliance