Automata for Analysing Service Contracts
From MaRDI portal
Publication:2811923
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
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