Abstract | ||
---|---|---|
We investigate the relations between two automata-based models for describing and studying distributed services, called contract automata and communicating machines. In the first model, distributed services are abstracted away as automata – oblivious of their partners – that coordinate with each other through an orchestrator. The second one is concerned with the interactions occurring between distributed services, that are represented by channel-based asynchronous communications; then services are coordinated through choreography. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1016/j.jlamp.2015.09.011 | Journal of Logical and Algebraic Methods in Programming |
Field | DocType | Volume |
Asynchronous communication,Automata theory,Programming language,Computer science,Automaton,Theoretical computer science,Choreography,Orchestration,Natural mapping,Orchestration (computing),Semantics | Journal | 85 |
Issue | ISSN | Citations |
3 | 2352-2208 | 7 |
PageRank | References | Authors |
0.62 | 22 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Davide Basile | 1 | 48 | 10.14 |
Pierpaolo Degano | 2 | 2000 | 170.34 |
Gian Luigi Ferrari | 3 | 731 | 59.95 |
Emilio Tuosto | 4 | 499 | 42.62 |