On Resolving Non-determinism in Choreographies

On Resolving Non-determinism in Choreographies

Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreography. Existing relations of correctness/completeness between choreographies and realisations are based on models where...

Full description

Bibliographic Details
Main Authors:	Laura Bocchi, Hernan Melgratti, Emilio Tuosto
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2020-09-01
Series:	Logical Methods in Computer Science
Subjects:	computer science - software engineering computer science - logic in computer science
Online Access:	https://lmcs.episciences.org/5389/pdf

Similar Items

Dynamic Choreographies: Theory And Implementation
by: Mila Dalla Preda, et al.
Published: (2017-04-01)

Multiparty testing preorders
by: Rocco de Nicola, et al.
Published: (2023-01-01)

A Theory of Formal Choreographic Languages
by: Franco Barbanera, et al.
Published: (2023-08-01)

Collaboration vs. choreography conformance in BPMN
by: Flavio Corradini, et al.
Published: (2020-10-01)

On Sessions and Infinite Data
by: Paula Severi, et al.
Published: (2017-06-01)

Reversing Place Transition Nets
by: Hernán Melgratti, et al.
Published: (2020-10-01)

High-level Counterexamples for Probabilistic Automata
by: Ralf Wimmer, et al.
Published: (2015-03-01)

revTPL: The Reversible Temporal Process Language
by: Laura Bocchi, et al.
Published: (2024-01-01)

Flexible Correct-by-Construction Programming
by: Tobias Runge, et al.
Published: (2023-06-01)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
by: Joseph W. N. Paulus, et al.
Published: (2023-10-01)

Inhabitation for Non-idempotent Intersection Types
by: Antonio Bucciarelli, et al.
Published: (2018-08-01)

Non-idempotent intersection types and strong normalisation
by: Alexis Bernadet, et al.
Published: (2013-10-01)

Fixed Points Theorems for Non-Transitive Relations
by: Jérémy Dubut, et al.
Published: (2022-02-01)

Adaptive Non-linear Pattern Matching Automata
by: Rick Erkens, et al.
Published: (2021-12-01)

On Presburger arithmetic extended with non-unary counting quantifiers
by: Peter Habermehl, et al.
Published: (2023-07-01)

Non-idempotent types for classical calculi in natural deduction style
by: Delia Kesner, et al.
Published: (2020-01-01)

Modal Interface Automata
by: Gerald Lüttgen, et al.
Published: (2013-08-01)

The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
by: Dag Normann
Published: (2015-03-01)

Software engineering 2 : [electronic book] specification of systems and languages /
by: Bjorner, D. (Dines), 1937-, et al.
Published: (2006)

A Real-Valued Modal Logic
by: Denisa Diaconescu, et al.
Published: (2018-01-01)

Concurrency and Probability: Removing Confusion, Compositionally
by: Roberto Bruni, et al.
Published: (2019-12-01)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
by: Paulo Emílio de Vilhena, et al.
Published: (2023-10-01)

Ambiguity of {\omega}-Languages of Turing Machines
by: Olivier Finkel
Published: (2014-08-01)

Problems in number theory from busy beaver competition
by: Pascal Michel
Published: (2015-12-01)

A Dichotomy for First-Order Reducts of Unary Structures
by: Manuel Bodirsky, et al.
Published: (2018-05-01)

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
by: Hubie Chen, et al.
Published: (2013-03-01)

Making first order linear logic a generating grammar
by: Sergey Slavnov
Published: (2023-11-01)

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
by: Dominik Kirst, et al.
Published: (2022-06-01)

Event Structures for Petri nets with Persistence
by: Paolo Baldan, et al.
Published: (2018-09-01)

Web services choreography testing using semantic service description
by: Mohd. Rusli, Hazlifah
Published: (2017)

A symmetric protocol to establish service level agreements
by: Jan Friso Groote, et al.
Published: (2020-09-01)

Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
by: Andreas Krebs, et al.
Published: (2020-09-01)

Enumerating Independent Linear Inferences
by: Anupam Das, et al.
Published: (2023-05-01)

Variable binding and substitution for (nameless) dummies
by: André Hirschowitz, et al.
Published: (2024-03-01)

Foundations of probability-raising causality in Markov decision processes
by: Christel Baier, et al.
Published: (2024-01-01)

Causal Unfoldings and Disjunctive Causes
by: Marc de Visme, et al.
Published: (2023-04-01)

Compositional Confluence Criteria
by: Kiraku Shintani, et al.
Published: (2024-01-01)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
by: Marco Bernardo, et al.
Published: (2023-04-01)

Nominal Coalgebraic Data Types with Applications to Lambda Calculus
by: Alexander Kurz, et al.
Published: (2013-12-01)

Towards 3-Dimensional Rewriting Theory
by: Samuel Mimram
Published: (2014-04-01)