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
30
views
0
references
Top references
cited by
4
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,937
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Coordination Models and Languages
other
Editor(s):
Rocco De Nicola
,
Christine Julien
Publication date
(Print):
2013
Publisher:
Springer Berlin Heidelberg
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
African Languages
Author and book information
Book
ISBN (Print):
978-3-642-38492-9
ISBN (Electronic):
978-3-642-38493-6
Publication date (Print):
2013
DOI:
10.1007/978-3-642-38493-6
SO-VID:
10f328f4-9b9c-406b-ad0a-88ca34330cb0
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Stochastic Process Algebra and Stability Analysis of Collective Systems
pp. 16
Modelling MAC-Layer Communications in Wireless Systems
pp. 31
Coordinating Phased Activities while Maintaining Progress
pp. 45
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
pp. 60
Pattern Matching and Bisimulation
pp. 75
Component-Based Autonomic Managers for Coordination Control
pp. 90
Multi-threaded Active Objects
pp. 105
Scheduling Open-Nested Transactions in Distributed Transactional Memory
pp. 121
Peer-Based Programming Model for Coordination Patterns
pp. 136
Decidability Results for Dynamic Installation of Compensation Handlers
pp. 151
Probabilistic Modular Embedding for Stochastic Coordinated Systems
pp. 166
ByteSTM: Virtual Machine-Level Java Software Transactional Memory
pp. 181
The Future of a Missed Deadline
pp. 196
Event Loop Coordination Using Meta-programming
pp. 211
Interactive Interaction Constraints
pp. 226
Towards Distributed Reactive Programming
pp. 236
Typing Progress in Communication-Centred Systems
Similar content
1,937
Inventions on Menu and Toolbar Coordination
Authors:
Umakant Mishra
Metal carbonyl complexes involving 2,6-Bis [1-(phenylimino)ethyl]pyridine; bidentate coordination of a potentially tridentate ligand
Authors:
John Albon
,
Dennis Edwards
,
Philip Moore
Coordination environment of a site-bound metal ion in the hammerhead ribozyme determined by 15N and 2H ESEEM spectroscopy.
Authors:
Charles Hoogstraten
,
R Britt
,
Victoria DeRose
…
See all similar
Cited by
4
Modelling movement for collective adaptive systems with CARMA
Authors:
Natalia Zoń
,
Vashti Galpin
,
Stephen Gilmore
Multi-Threaded Actors
Authors:
Keyvan Azadbakht
,
Frank de Boer
,
Vlad Serbanescu
Justness: A Completeness Criterion for Capturing Liveness Properties
Authors:
Rob van Glabbeek
See all cited by