A Theory of Agreements and Protection

DOI10.1007/978-3-642-36830-1_10zbMath1390.68066OpenAlexW1596624847MaRDI QIDQ5326760

Roberto Zunino, Tiziana Cimoli, Massimo Bartoletti

Publication date: 6 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36830-1_10

Mathematics Subject Classification ID

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

Related Items (6)

Contracts as games on event structures ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Verifiable abstractions for contract-oriented systems ⋮ Combining behavioural types with security analysis ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Automata for Analysing Service Contracts

This page was built for publication: A Theory of Agreements and Protection