Automata for Analysing Service Contracts

DOI10.1007/978-3-662-45917-1_3zbMath1444.68110OpenAlexW2145301674MaRDI QIDQ2811923

Gian-Luigi Ferrari, Pierpaolo Degano, Davide Basile

Publication date: 9 June 2016

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45917-1_3

Mathematics Subject Classification ID

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

Related Items (6)

Relating two automata-based models of orchestration and choreography ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods ⋮ Orchestrated session compliance ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Automata for Analysing Service Contracts

Cites Work

• Unnamed Item
• Behavioural contracts with request-response operations
• Automata for Analysing Service Contracts
• On Global Types and Multi-Party Session
• Synthesising Choreographies from Local Session Types
• Lending Petri Nets and Contracts
• Contracts for Mobile Processes
• A theory of contracts for web services
• Multiparty asynchronous session types
• Nonlinear Integer Programming
• On Communicating Finite-State Machines
• Contract-Oriented Computing in CO2
• A Theory of Agreements and Protection
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
• Two-way pushdown automata

This page was built for publication: Automata for Analysing Service Contracts