On the Realizability of Contracts in Dishonest Systems

DOI10.1007/978-3-642-30829-1_17zbMath1366.68198arXiv1201.6188OpenAlexW2104477831MaRDI QIDQ2902531

Roberto Zunino, Massimo Bartoletti, Emilio Tuosto

Publication date: 21 August 2012

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

Full work available at URL: https://arxiv.org/abs/1201.6188

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Contracts as games on event structures ⋮ Relating two automata-based models of orchestration and choreography ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Verifiable abstractions for contract-oriented systems ⋮ Combining behavioural types with security analysis ⋮ Honesty by Typing

This page was built for publication: On the Realizability of Contracts in Dishonest Systems