↓ 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 Learning Assumptions for Verifying Cryptographic Protocols Compositionally
  3. Altmetric Badge
    Chapter 2 Component-Based Approach Combining UML and BIP for Rigorous System Design
  4. Altmetric Badge
    Chapter 3 Composable Partial Multiparty Session Types
  5. Altmetric Badge
    Chapter 4 A Canonical Algebra of Open Transition Systems
  6. Altmetric Badge
    Chapter 5 Corinne, a Tool for Choreography Automata
  7. Altmetric Badge
    Chapter 6 Specification and Safety Verification of Parametric Hierarchical Distributed Systems
  8. Altmetric Badge
    Chapter 7 A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions
  9. Altmetric Badge
    Chapter 8 Automated Generation of Initial Configurations for Testing Component Systems
  10. Altmetric Badge
    Chapter 9 Monitoring Distributed Component-Based Systems
Attention for Chapter 6: Specification and Safety Verification of Parametric Hierarchical Distributed Systems
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
Specification and Safety Verification of Parametric Hierarchical Distributed Systems
Chapter number 6
Book title
Formal Aspects of Component Software
Published by
Springer, Cham, January 2021
DOI 10.1007/978-3-030-90636-8_6
Book ISBNs
978-3-03-090635-1, 978-3-03-090636-8
Authors

Bozga, Marius, Iosif, Radu

View on publisher site

This page is provided by Altmetric.