Contracts as games on event structures

DOI10.1016/j.jlamp.2015.05.001zbMath1352.68174OpenAlexW1037217746MaRDI QIDQ272306

Massimo Bartoletti, Roberto Zunino, G. Michele Pinna, Tiziana Cimoli

Publication date: 20 April 2016

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.2015.05.001

zbMATH Keywords

contractscomplianceevent structuressession types

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Compliance in Behavioural Contracts: A Brief Survey ⋮ Orchestrated session compliance ⋮ Debits and Credits in Petri Nets and Linear Logic ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Transactions and contracts based on reaction systems

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Contract-based discovery of Web services modulo simple orchestrators
• Petri nets, event structures and domains. I
• On Duality Relations for Session Types
• From Communicating Machines to Graphical Choreographies
• On the Realizability of Contracts in Dishonest Systems
• Deciding choreography realizability
• Modelling and Verifying Contract-Oriented Systems in Maude
• Multiparty asynchronous session types
• A Semantic Deconstruction of Session Types
• Contract Based Multi-party Service Composition
• The Must Preorder Revisited
• Contract-Oriented Computing in CO2
• Circular Causality in Event Structures
• A Theory of Agreements and Protection
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

This page was built for publication: Contracts as games on event structures