scientific article; zbMATH DE number 7269254

MaRDI QIDQ5129950

Andrea Morichetta, Andrea Polini, Francesco Tiezzi, Flavio Corradini, Barbara Re

Publication date: 3 November 2020

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

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

zbMATH Keywords

conformancecollaborationtool supportchoreographyBPMN

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items

Unnamed Item

Uses Software

• VerChor

Cites Work

• On bisimulations for the asynchronous \(\pi\)-calculus
• On Global Types and Multi-Party Session
• Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
• Unnamed Item
• Unnamed Item
• Unnamed Item