A Language for the Declarative Composition of Concurrent Protocols (original) (raw)
Related papers
Procedural Choreographic Programming
Lecture Notes in Computer Science, 2017
A Formal Theory of Choreographic Programming
arXiv (Cornell University), 2022
Choreographies, Divided and Conquered
arXiv (Cornell University), 2016
Concurrent Interactive Processes in a Pure Functional Language
PROGRAMMING IN PROTOCOLS - A Paradigm of
FACILE: A symmetric integration of concurrent and functional programming
Lecture Notes in Computer Science, 1989
A Taxonomy for Programming Languages wit h Multi-Sequential Processes
Kristine Thomsen, Jørgen L Knudsen
Daimi Report Series, 1984
Protocols for processes: programming in the large for open systems
Sigplan Notices, 2004
Concurrent programming made easy
Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000, 2000
On Asynchrony and Choreographies
Electronic Proceedings in Theoretical Computer Science, 2017
open.ou.nl
Reasoning about Choreographic Programs
arXiv (Cornell University), 2023
Encoding asynchrony in choreographies
Proceedings of the Symposium on Applied Computing, 2017
A new proposal of concurrent process calculus
SOFSEM'96: Theory and Practice of Informatics, 1996
Abstraction as a unifying link for formal approaches to concurrency
2012
Protocols for processes: programming in the large for open systems (extended abstract
2004
Aldwych: A General Purpose Concurrent Language
Wanted: a Compositional Approach to Concurrency
Programming methodology, 2003
Toward a Lingua Franca for Deterministic Concurrent Systems
ACM Transactions on Embedded Computing Systems
Eden — The paradise of functional concurrent programming
Lecture Notes in Computer Science, 1996
Abstraction and modularity mechanisms for concurrent computing
IEEE Parallel & Distributed Technology: Systems & Applications, 1993
PROTOCOL MODELLING: SYNCHRONOUS COMPOSITION OF DATA AND BEHAVIOUR
arXiv (Cornell University), 2021
An axiomatic semantics for nested concurrency
BIT, 1986
That's Enough: Asynchrony with Standard Choreography Primitives
ArXiv, 2017
Lecture Notes in Computer Science, 2016
Towards Composable Concurrency Abstractions
Electronic Proceedings in Theoretical Computer Science, 2014
Parallel Implementation of Functional Languages Using Small Processes
A Theoretical Basis of Communication-Centred Concurrent Programming
2000