Contract-Oriented Computing in CO2

DOI10.7561/SACS.2012.1.5zbMath1424.68097OpenAlexW2048298926MaRDI QIDQ4621158

Roberto Zunino, Massimo Bartoletti, 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

contractsconcurrent constraint programmingmultiparty sessions

Mathematics Subject Classification ID

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

Related Items (5)

Session-based concurrency, declaratively ⋮ Contracts as games on event structures ⋮ Verifiable abstractions for contract-oriented systems ⋮ Combining behavioural types with security analysis ⋮ Automata for Analysing Service Contracts

This page was built for publication: Contract-Oriented Computing in CO2