↓ Skip to main content

Formal Methods for Components and Objects

Overview of attention for book
Cover of 'Formal Methods for Components and Objects'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Methods for Components and Objects
  3. Altmetric Badge
    Chapter 2 Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
  4. Altmetric Badge
    Chapter 3 Control of Modular and Distributed Discrete-Event Systems
  5. Altmetric Badge
    Chapter 4 Model-Based Security Engineering with UML: Introducing Security Aspects
  6. Altmetric Badge
    Chapter 5 The Pragmatics of STAIRS
  7. Altmetric Badge
    Chapter 6 Smallfoot: Modular Automatic Assertion Checking with Separation Logic
  8. Altmetric Badge
    Chapter 7 Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
  9. Altmetric Badge
    Chapter 8 Beyond Bisimulation: The “up-to” Techniques
  10. Altmetric Badge
    Chapter 9 Separation Results Via Leader Election Problems
  11. Altmetric Badge
    Chapter 10 Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
  12. Altmetric Badge
    Chapter 11 Abstraction and Refinement in Model Checking
  13. Altmetric Badge
    Chapter 12 Program Compatibility Approaches
  14. Altmetric Badge
    Chapter 13 Cluster-Based LTL Model Checking of Large Systems
  15. Altmetric Badge
    Chapter 14 Safety and Liveness in Concurrent Pointer Programs
  16. Altmetric Badge
    Chapter 15 Modular Specification of Encapsulated Object-Oriented Components
  17. Altmetric Badge
    Chapter 16 Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
  18. Altmetric Badge
    Chapter 17 Boogie: A Modular Reusable Verifier for Object-Oriented Programs
  19. Altmetric Badge
    Chapter 18 On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
  20. Altmetric Badge
    Chapter 19 Partial Order Reduction for Markov Decision Processes: A Survey
Attention for Chapter 2: Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
12 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.
Chapter title
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Chapter number 2
Book title
Formal Methods for Components and Objects
Published by
Springer, Berlin, Heidelberg, November 2005
DOI 10.1007/11804192_2
Book ISBNs
978-3-54-036749-9, 978-3-54-036750-5
Authors

Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Portugal 1 8%
Italy 1 8%
Unknown 10 83%

Demographic breakdown

Readers by professional status Count As %
Lecturer 2 17%
Student > Ph. D. Student 2 17%
Professor > Associate Professor 2 17%
Researcher 2 17%
Professor 1 8%
Other 2 17%
Unknown 1 8%
Readers by discipline Count As %
Computer Science 8 67%
Agricultural and Biological Sciences 2 17%
Mathematics 1 8%
Unknown 1 8%