scientific article; zbMATH DE number 7454921

zbMath1477.68178arXiv2009.07991MaRDI QIDQ5019695

Hernán Melgratti, Ugo de'Liguoro, Emilio Tuosto

Publication date: 10 January 2022

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

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 (1)

Towards refinable choreographies

Cites Work

• Relating two automata-based models of orchestration and choreography
• Refinement of actions in event structures and causal trees
• Modeling concurrency with partial orders
• Petri nets, event structures and domains. I
• Adding action refinement to a finite process algebra
• Reversible sessions with flexible choices
• Multiparty Asynchronous Session Types
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: