↓ Skip to main content

Algebraic Methodology and Software Technology

Overview of attention for book
Cover of 'Algebraic Methodology and Software Technology'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Marrying Words and Trees
  3. Altmetric Badge
    Chapter 2 Simulation Using Orchestration
  4. Altmetric Badge
    Chapter 3 Liberate Computer User from Programming
  5. Altmetric Badge
    Chapter 4 An Algebra for Features and Feature Composition
  6. Altmetric Badge
    Chapter 5 Petri Nets Are Dioids
  7. Altmetric Badge
    Chapter 6 Towards an Efficient Implementation of Tree Automata Completion
  8. Altmetric Badge
    Chapter 7 Calculating Invariants as Coreflexive Bisimulations
  9. Altmetric Badge
    Chapter 8 Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
  10. Altmetric Badge
    Chapter 9 A Declarative Debugger for Maude
  11. Altmetric Badge
    Chapter 10 Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
  12. Altmetric Badge
    Chapter 11 Towards Validating a Platoon of Cristal Vehicles Using CSP||B
  13. Altmetric Badge
    Chapter 12 Explaining Verification Conditions
  14. Altmetric Badge
    Chapter 13 Towards Formal Verification of ToolBus Scripts
  15. Altmetric Badge
    Chapter 14 A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
  16. Altmetric Badge
    Chapter 15 Abstract Interpretation Plugins for Type Systems
  17. Altmetric Badge
    Chapter 16 Separation Logic Contracts for a Java-Like Language with Fork/Join
  18. Altmetric Badge
    Chapter 17 An Algebraic Semantics for Contract-Based Software Components
  19. Altmetric Badge
    Chapter 18 Implementing a Categorical Information System
  20. Altmetric Badge
    Chapter 19 Constant Complements, Reversibility and Universal View Updates
  21. Altmetric Badge
    Chapter 20 Coinductive Properties of Causal Maps
  22. Altmetric Badge
    Chapter 21 Extending Timed Process Algebra with Discrete Stochastic Time
  23. Altmetric Badge
    Chapter 22 Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
  24. Altmetric Badge
    Chapter 23 Evolving Specification Engineering
  25. Altmetric Badge
    Chapter 24 Verification of Java Programs with Generics
  26. Altmetric Badge
    Chapter 25 Domain Axioms for a Family of Near-Semirings
  27. Altmetric Badge
    Chapter 26 Generating Specialized Rules and Programs for Demand-Driven Analysis
  28. Altmetric Badge
    Chapter 27 Non Expansive ε -Bisimulations
  29. Altmetric Badge
    Chapter 28 A Hybrid Approach for Safe Memory Management in C
  30. Altmetric Badge
    Chapter 29 Service Specification and Matchmaking Using Description Logic
  31. Altmetric Badge
    Chapter 30 System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries
  32. Altmetric Badge
    Chapter 31 The Verification of the On-Chip COMA Cache Coherence Protocol
Attention for Chapter 2: Simulation Using Orchestration
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
2 Mendeley
citeulike
2 CiteULike
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
Simulation Using Orchestration
Chapter number 2
Book title
Algebraic Methodology and Software Technology
Published by
Springer, Berlin, Heidelberg, July 2008
DOI 10.1007/978-3-540-79980-1_2
Book ISBNs
978-3-54-079979-5, 978-3-54-079980-1
Authors

David Kitchin, Evan Powell, Jayadev Misra, Kitchin, David, Powell, Evan, Misra, Jayadev

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 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 50%
Other 1 50%
Readers by discipline Count As %
Computer Science 2 100%