↓ Skip to main content

Coordination Models and Languages

Overview of attention for book
Cover of 'Coordination Models and Languages'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Coordination Model for Service-Oriented Interactions
  3. Altmetric Badge
    Chapter 2 Implementing Session Centered Calculi
  4. Altmetric Badge
    Chapter 3 Service Combinators for Farming Virtual Machines
  5. Altmetric Badge
    Chapter 4 Timed Soft Concurrent Constraint Programs
  6. Altmetric Badge
    Chapter 5 Multiparty Sessions in SOC
  7. Altmetric Badge
    Chapter 6 Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs
  8. Altmetric Badge
    Chapter 7 From Flow Logic to Static Type Systems for Coordination Languages
  9. Altmetric Badge
    Chapter 8 Session Types for Orchestration Charts
  10. Altmetric Badge
    Chapter 9 Implementing Joins Using Extensible Pattern Matching
  11. Altmetric Badge
    Chapter 10 Advice for Coordination
  12. Altmetric Badge
    Chapter 11 Modeling and Analysis of Reo Connectors Using Alloy
  13. Altmetric Badge
    Chapter 12 Alternating-Time Stream Logic for Multi-agent Systems
  14. Altmetric Badge
    Chapter 13 A Formal Account of WS-BPEL
  15. Altmetric Badge
    Chapter 14 How to Infer Finite Session Types in a Calculus of Services and Sessions
  16. Altmetric Badge
    Chapter 15 An Event-Based Coordination Model for Context-Aware Applications
  17. Altmetric Badge
    Chapter 16 Formal Analysis of BPMN Via a Translation into COWS
  18. Altmetric Badge
    Chapter 17 Encrypted Shared Data Spaces
  19. Altmetric Badge
    Chapter 18 CiAN: A Workflow Engine for MANETs
  20. Altmetric Badge
    Chapter 19 A Process Calculus for Mobile Ad Hoc Networks
  21. Altmetric Badge
    Chapter 20 Actors with Multi-headed Message Receive Patterns
  22. Altmetric Badge
    Chapter 21 A Compositional Trace Semantics for Orc
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Coordination Models and Languages
Published by
Springer Berlin Heidelberg, May 2008
DOI 10.1007/978-3-540-68265-3
ISBNs
978-3-54-068264-6, 978-3-54-068265-3
Editors

Lea, Doug, Zavattaro, Gianluigi

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 100%
Readers by discipline Count As %
Computer Science 1 100%