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
22
views
7
references
Top references
cited by
13
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,851
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Coordination Models and Languages
Choreography and Orchestration Conformance for System Design
other
Author(s):
Nadia Busi
,
Roberto Gorrieri
,
Claudio Guidi
,
Roberto Lucchi
,
Gianluigi Zavattaro
Publication date
(Print):
2006
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
Digitizing Fabrication
Most cited references
7
Record
: found
Abstract
: not found
Article
: not found
Formal verification of parallel programs
Robert Keller
(1976)
0
comments
Cited
63
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Choreography and Orchestration: A Synergic Approach for System Design
Nadia Busi
,
Roberto Gorrieri
,
Claudio Guidi
…
(2007)
0
comments
Cited
19
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
On the Correspondence Between Conformance Testing and Regular Inference
Therese Berg
,
Olga Grinchtein
,
Bengt. Jonsson
…
(2005)
0
comments
Cited
18
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 63-81
DOI:
10.1007/11767954_5
SO-VID:
d22112c1-5b1f-497a-8ced-25a36fc45820
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 63
Choreography and Orchestration Conformance for System Design
Similar content
2,851
An unwelcome partner: Parasitic choreography of the host cell cycle?
Authors:
Kate Kramer
,
Leland JOHNSTON
Gaga as metatechnique: negotiating choreography, improvisation, and technique in a neoliberal dance market
Authors:
M Quinlan
,
M. QUINLAN
'Seeing the Child' beyond the Literal: Considering Dance Choreography and the Body in Child Welfare and Protection
Authors:
C. R. PHILLIPS
See all similar
Cited by
13
Structured Communication-Centred Programming for Web Services
Authors:
Marco Carbone
,
Kohei Honda
,
Nobuko Yoshida
Compositional Choreographies
Authors:
Fabrizio Montesi
,
Nobuko Yoshida
A Calculus for Orchestration of Web Services
Authors:
Alessandro Lapadula
,
Rosario Pugliese
,
Francesco Tiezzi
See all cited by