Automata for Specifying and Orchestrating Service Contracts

DOI10.2168/LMCS-12(4:6)2016zbMath1398.68296arXiv1607.08363MaRDI QIDQ2974790

Pierpaolo Degano, Gian-Luigi Ferrari, Davide Basile

Publication date: 11 April 2017

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Can we communicate? Using dynamic logic to verify team automata ⋮ Research Challenges in Orchestration Synthesis ⋮ Transactions and contracts based on reaction systems ⋮ Unnamed Item ⋮ A verification-driven framework for iterative design of controllers

This page was built for publication: Automata for Specifying and Orchestrating Service Contracts