From Communicating Machines to Graphical Choreographies

Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko

doi:10.1145/2775051.2676964

Record: found
Abstract: not found
Article: not found

From Communicating Machines to Graphical Choreographies

Author(s): Julien Lange ¹ , Emilio Tuosto ² , Nobuko Yoshida ¹

Publication date Created: May 11 2015

Publication date (Print): May 11 2015

Journal: ACM SIGPLAN Notices

Publisher: Association for Computing Machinery (ACM)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 21

Record: found
Abstract: not found
Article: not found

On Communicating Finite-State Machines

Daniel Brand, Pitro Zafiropulo (1983)

0 comments Cited 17 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Protocol specifications and component adaptors

Daniel Yellin, Robert E. Strom (1997)

0 comments Cited 13 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Inference of message sequence charts

R. Alur, K. Etessami, M Yannakakis (2003)

0 comments Cited 7 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: ACM SIGPLAN Notices

Abbreviated Title: SIGPLAN Not.

Publisher: Association for Computing Machinery (ACM)

ISSN (Print): 0362-1340

ISSN (Electronic): 1558-1160

Publication date Created: May 11 2015

Publication date (Print): May 11 2015

Volume: 50

Issue: 1

Pages: 221-232

Affiliations

[1 ]Imperial College London, London, United Kingdom

[2 ]University of Leicester, Leicester, United Kingdom

Article

DOI: 10.1145/2775051.2676964

SO-VID: 62902394-98c0-493c-84fd-a325fb840a37

License:

http://www.acm.org/publications/policies/copyright_policy#Background

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.