Compliance in Behavioural Contracts: A Brief Survey

DOI10.1007/978-3-319-25527-9_9zbMath1434.68045OpenAlexW2295198353MaRDI QIDQ3460865

Tiziana Cimoli, Massimo Bartoletti, Roberto Zunino

Publication date: 8 January 2016

Published in: Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25527-9_9

Mathematics Subject Classification ID

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

Related Items (7)

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods ⋮ Verifiable abstractions for contract-oriented systems ⋮ Composition of synchronous communicating systems ⋮ Can we communicate? Using dynamic logic to verify team automata ⋮ Honesty by Typing ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Contracts as games on event structures
• An algebraic theory for web service contracts
• Fair testing
• Testing equivalences for processes
• Verification of programs with half-duplex communication
• Subtyping for session types in the pi calculus
• Automata for Analysing Service Contracts
• On Duality Relations for Session Types
• From Communicating Machines to Graphical Choreographies
• Compliance and Subtyping in Timed Session Types
• Multiparty Session Types Meet Communicating Automata
• On the Realizability of Contracts in Dishonest Systems
• Synthesising Choreographies from Local Session Types
• Deciding choreography realizability
• Lending Petri Nets and Contracts
• A theory of contracts for web services
• Multiparty asynchronous session types
• A Semantic Deconstruction of Session Types
• A Type System for Client Progress in a Service-Oriented Calculus
• The Pairing of Contracts and Session Types
• Contract Based Multi-party Service Composition
• The Must Preorder Revisited
• A theory of contracts for strong service compliance
• On Communicating Finite-State Machines
• A Theory of Agreements and Protection
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
• Asynchronous Session Types and Progress for Object Oriented Languages

This page was built for publication: Compliance in Behavioural Contracts: A Brief Survey