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

Formal Aspects of Component Software

Overview of attention for book
Cover of 'Formal Aspects of Component Software'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Compositional Simulation of Abstract State Machines for Safety Critical Systems
  3. Altmetric Badge
    Chapter 2 Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components
  4. Altmetric Badge
    Chapter 3 Formally Characterizing the Effect of Model Transformations on System Properties
  5. Altmetric Badge
    Chapter 4 Interpretation and Formalization of the Right-of-Way Rules
  6. Altmetric Badge
    Chapter 5 Formal Model In-The-Loop for Secure Industrial Control Networks
  7. Altmetric Badge
    Chapter 6 Debugging of BPMN Processes Using Coloring Techniques
  8. Altmetric Badge
    Chapter 7 WEASY: A Tool for Modelling Optimised BPMN Processes
  9. Altmetric Badge
    Chapter 8 Embeddings Between State and Action Based Probabilistic Logics
  10. Altmetric Badge
    Chapter 9 Footprint Logic for Object-Oriented Components
  11. Altmetric Badge
    Chapter 10 Decompositional Branching Bisimulation Minimisation of Monolithic Processes
  12. Altmetric Badge
    Chapter 11 Realisability of Branching Pomsets
  13. Altmetric Badge
    Chapter 12 Liquidity Analysis in Resource-Aware Programming
  14. Altmetric Badge
    Chapter 13 Open Compliance in Multiparty Sessions
Attention for Chapter 11: Realisability of Branching Pomsets
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
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
Realisability of Branching Pomsets
Chapter number 11
Book title
Formal Aspects of Component Software
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-20872-0_11
Book ISBNs
978-3-03-120871-3, 978-3-03-120872-0
Authors

Edixhoven, Luc, Jongmans, Sung-Shik

View on publisher site

This page is provided by Altmetric.