↓ Skip to main content
What is this page? Embed badge

Software Composition

Overview of attention for book
Cover of 'Software Composition'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Modeling Dynamic Architectures Using Dy-BIP
  3. Altmetric Badge
    Chapter 2 Defining Composition Operators for BPMN
  4. Altmetric Badge
    Chapter 3 Relaxing B Sharing Restrictions within CSP||B
  5. Altmetric Badge
    Chapter 4 P a CE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications
  6. Altmetric Badge
    Chapter 5 Adaptation of Legacy Codes to Context-Aware Composition Using Aspect-Oriented Programming
  7. Altmetric Badge
    Chapter 6 Challenges for Refinement and Composition of Instrumentations: Position Paper
  8. Altmetric Badge
    Chapter 7 Constructing Customized Interpreters from Reusable Evaluators Using Game
  9. Altmetric Badge
    Chapter 8 Revising and Extending the Uppaal Communication Mechanism
  10. Altmetric Badge
    Chapter 9 On the Automated Modularisation of Java Programs Using Service Locators
  11. Altmetric Badge
    Chapter 10 Touching Factor: Software Development on Tablets
  12. Altmetric Badge
    Chapter 11 Domain-Specific Languages in Few Steps
  13. Altmetric Badge
    Chapter 12 Business Process Lines and Decision Tables Driving Flexibility by Selection
Attention for Chapter 8: Revising and Extending the Uppaal Communication Mechanism
Altmetric Badge

Readers on

mendeley
2 Mendeley
Summary
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.
Chapter title
Revising and Extending the Uppaal Communication Mechanism
Chapter number 8
Book title
Software Composition
Published by
Springer, Berlin, Heidelberg, May 2012
DOI 10.1007/978-3-642-30564-1_8
Book ISBNs
978-3-64-230563-4, 978-3-64-230564-1
Authors

Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali

View on publisher site

This page is provided by Altmetric.