Kickstarting Choreographic Programming

@article{Montesi2015KickstartingCP,
  title={Kickstarting Choreographic Programming},
  author={F. Montesi},
  journal={ArXiv},
  year={2015},
  volume={abs/1502.02519}
}
We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions of communication behaviour. 
31 Citations

Figures and Topics from this paper

A core model for choreographic programming
  • 2
  • PDF
A Core Model for Choreographic Programming
  • 16
  • PDF
Choreographies in Practice
  • 15
  • PDF
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies
  • 1
  • PDF
Choreographies, logically
  • 30
  • PDF
Choreographies, Logically
  • 2
  • PDF
Choreographies for Reactive Programming
  • 3
  • PDF
Encoding asynchrony in choreographies
  • 2
  • PDF
Dynamic Choreographies: Theory And Implementation
  • 28
  • PDF
...
1
2
3
4
...

References

SHOWING 1-10 OF 32 REFERENCES
Compositional Choreographies
  • 88
  • PDF
Choreographies, logically
  • 30
  • PDF
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
  • 49
  • PDF
The Scribble Protocol Language
  • 86
  • PDF
Deadlock-freedom-by-design: multiparty asynchronous global programming
  • 139
  • PDF
Service-Oriented Programming with Jolie
  • 81
  • PDF
Bridging the Gap between Interaction- and Process-Oriented Choreographies
  • 97
  • PDF
Towards the theoretical foundation of choreography
  • 171
  • PDF
Language Primitives and Type Discipline for Structured Communication-Based Programming
  • 830
  • PDF
...
1
2
3
4
...