scientific article; zbMATH DE number 7167588

zbMath1433.68236arXiv1410.7471MaRDI QIDQ5216080

Pierpaolo Degano, Emilio Tuosto, Gian-Luigi Ferrari, Davide Basile

Publication date: 14 February 2020

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (4)

Relating two automata-based models of orchestration and choreography ⋮ Orchestrated session compliance ⋮ Research Challenges in Orchestration Synthesis ⋮ Automata for Analysing Service Contracts

This page was built for publication: