A model for correlation-based choreographic programming

A model for correlation-based choreographic programming

Choreographies provide a clear way to specify the intended communication behaviour of concurrent and distributed systems. Previous theoretical work investigated the translation of choreographies into (models of) programs based on message passing. However, existing theories still present a gap betwee...

Full description

Bibliographic Details
Main Authors: Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
Format: Article
Language:English
Published: PeerJ Inc. 2024-12-01
Series:PeerJ Computer Science
Subjects:
Concurrency
Distributed programming
Service-oriented computing
Choreographic programming
Online Access:https://peerj.com/articles/cs-1907.pdf

Internet

https://peerj.com/articles/cs-1907.pdf

Similar Items