Contract-oriented computing in CO₂

DOI10.7561/SACS.2012.1.5MaRDI QIDQ4621158zbMATH OpenOpenAlexFDO

Authors Massimo Bartoletti, Roberto Zunino, Emilio Tuosto

Publication date 8 February 2019

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7561/sacs.2012.1.5

zbMATH Keywords

concurrent constraint programmingcontractsmultiparty sessions

Mathematics Subject Classification ID

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

Recommendations

• Choreography synthesis as contract agreement
• Modelling and verifying contract-oriented systems in Maude
• Verifiable abstractions for contract-oriented systems
• On the realizability of contracts in dishonest systems
• Compliance in behavioural contracts: a brief survey

Cited in

(14)

• Transactions and contracts based on reaction systems
• Session-based concurrency, declaratively
• Contracts as games on event structures
• Automata for analysing service contracts
• On the realizability of contracts in dishonest systems
• Modelling and verifying contract-oriented systems in Maude
• Dynamic Overlay Single-Domain Contracting for End-to-End Contract Switching
• Contracts for Mobile Processes
• Verifiable abstractions for contract-oriented systems
• Primitives for contract-based synchronization
• Choreography synthesis as contract agreement
• Services and Contracts: Coalgebraically
• A trace-based model for multiparty contracts
• Combining behavioural types with security analysis

This page was built for publication: Contract-oriented computing in CO\(_2\)

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