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

Formal Methods for Open Object-Based Distributed Systems

Overview of attention for book
Cover of 'Formal Methods for Open Object-Based Distributed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Security Issues in Service Composition
  3. Altmetric Badge
    Chapter 2 Separating Distribution from Coordination and Computation as Architectural Dimensions
  4. Altmetric Badge
    Chapter 3 The Bisimulation Proof Method: Enhancements and Open Problems
  5. Altmetric Badge
    Chapter 4 An Approach to Quality Achievement at the Architectural Level: AQUA
  6. Altmetric Badge
    Chapter 5 Bounded Analysis and Decomposition for Behavioural Descriptions of Components
  7. Altmetric Badge
    Chapter 6 Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
  8. Altmetric Badge
    Chapter 7 Synchronizing Behavioural Mismatch in Software Composition
  9. Altmetric Badge
    Chapter 8 Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
  10. Altmetric Badge
    Chapter 9 Temporal Superimposition of Aspects for Dynamic Software Architecture
  11. Altmetric Badge
    Chapter 10 Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
  12. Altmetric Badge
    Chapter 11 Transformation Laws for UML-RT
  13. Altmetric Badge
    Chapter 12 Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams
  14. Altmetric Badge
    Chapter 13 Generating Instance Models from Meta Models
  15. Altmetric Badge
    Chapter 14 KM3: A DSL for Metamodel Specification
  16. Altmetric Badge
    Chapter 15 Defining Object-Oriented Execution Semantics Using Graph Transformations
  17. Altmetric Badge
    Chapter 16 Type-Safe Runtime Class Upgrades in Creol
  18. Altmetric Badge
    Chapter 17 Abstract Interface Behavior of Object-Oriented Languages with Monitors
  19. Altmetric Badge
    Chapter 18 Mobility Mechanisms in Service Oriented Computing
  20. Altmetric Badge
    Chapter 19 Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service
  21. Altmetric Badge
    Chapter 20 Erratum to: Formal Methods for Open Object-Based Distributed Systems
Attention for Chapter 20: Erratum to: Formal Methods for Open Object-Based Distributed Systems
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
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
Erratum to: Formal Methods for Open Object-Based Distributed Systems
Chapter number 20
Book title
Formal Methods for Open Object-Based Distributed Systems
Published by
Springer, Berlin, Heidelberg, June 2006
DOI 10.1007/11768869_20
Book ISBNs
978-3-54-034893-1, 978-3-54-034895-5
Authors

Roberto Gorrieri, Heike Wehrheim

View on publisher site
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 %
Researcher 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.