Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
27
views
24
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,999
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Distributed Applications and Interoperable Systems
Reversible Choreographies via Monitoring in Erlang
other
Author(s):
Adrian Francalanza
,
Claudio Antares Mezzina
,
Emilio Tuosto
Publication date
(Online):
June 01 2018
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
24
Record
: found
Abstract
: not found
Article
: not found
A survey of rollback-recovery protocols in message-passing systems
David Johnson
,
E. Elnozahy
,
Lorenzo Alvisi
…
(2002)
0
comments
Cited
70
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Hyperproperties
Michael Clarkson
,
Fred B. Schneider
,
Andrei Sabelfeld
(2010)
0
comments
Cited
40
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Multiparty Asynchronous Session Types
Kohei Honda
,
Nobuko Yoshida
,
Marco Carbone
(2016)
0
comments
Cited
32
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2018
Publication date (Online):
June 01 2018
Pages
: 75-92
DOI:
10.1007/978-3-319-93767-0_6
SO-VID:
4c8248eb-553a-4147-b1e0-b5411139bd98
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. C1
Correction to: Distributed Applications and Interoperable Systems
pp. 1
WebBFT: Byzantine Fault Tolerance for Resilient Interactive Web Applications
pp. 18
Malicious Behaviour Identification in Online Social Networks
pp. 26
Dynamic Modeling of Location Privacy Protection Mechanisms
pp. 40
Strome: Energy-Aware Data-Stream Processing
pp. 58
Totally Ordered Replication for Massive Scale Key-Value Stores
pp. 75
Reversible Choreographies via Monitoring in Erlang
pp. 93
SONIC-MAN: A Distributed Protocol for Dynamic Community Detection and Management
pp. 110
A Decentralized Resilient Short-Term Cache for Messaging
pp. 122
Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique
pp. 137
Video Dissemination in Untethered Edge-Clouds: A Case Study
pp. 153
Autonomic Adaptation of Multimedia Content Adhering to Application Mobility
pp. 169
A Game of Microservices: Automated Intrusion Response
Similar content
1,999
Erlanger Programm und Uebertragungslehre Neue Gesichtspunkte Zur Grundlegung Der Geometrie
Authors:
J. Schouten
An algorithm for distributed time delay identification based on a mixed Erlang kernel approximation and the linear chain trick
Authors:
Tobias K. S. Ritschel
,
John Wyller
Comparing the efficacy (RCT) of learning a dance choreography and practicing creative dance on improving executive functions and motor competence in 6–7 years old children
Authors:
James HF Rudd
,
Tim Buszard
,
Sharna Spittle
…
See all similar
Cited by
2
Reversing Unbounded Petri Nets
Authors:
Łukasz Mikulski
,
Ivan Lanese
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Authors:
Cesar Sanchez
,
Gerardo Schneider
,
Wolfgang Ahrendt
…
See all cited by