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

From Programs to Systems. The Systems perspective in Computing

Overview of attention for book
Cover of 'From Programs to Systems. The Systems perspective in Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Model-Driven Information Flow Security for Component-Based Systems
  3. Altmetric Badge
    Chapter 2 Context-Bounded Analysis of TSO Systems
  4. Altmetric Badge
    Chapter 3 A Model of Dynamic Systems
  5. Altmetric Badge
    Chapter 4 From Hierarchical BIP to Petri Calculus
  6. Altmetric Badge
    Chapter 5 Programming and Verifying Component Ensembles
  7. Altmetric Badge
    Chapter 6 Parametric and Quantitative Extensions of Modal Transition Systems
  8. Altmetric Badge
    Chapter 7 Specification Theories for Probabilistic and Real-Time Systems
  9. Altmetric Badge
    Chapter 8 Compositional Branching-Time Measurements
  10. Altmetric Badge
    Chapter 9 Steps towards Scenario-Based Programming with a Natural Language Interface
  11. Altmetric Badge
    Chapter 10 Assembly Theories for Communication-Safe Component Systems
  12. Altmetric Badge
    Chapter 11 Constructive Collisions
  13. Altmetric Badge
    Chapter 12 The Unmet Challenge of Timed Systems
  14. Altmetric Badge
    Chapter 13 Let’s Get Physical: Computer Science Meets Systems
  15. Altmetric Badge
    Chapter 14 What Can be Computed in a Distributed System?
  16. Altmetric Badge
    Chapter 15 Toward a System Design Science
  17. Altmetric Badge
    Chapter 16 OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems
  18. Altmetric Badge
    Chapter 17 Feedback in Synchronous Relational Interfaces
  19. Altmetric Badge
    Chapter 18 Reasoning about Network Topologies in Space
Attention for Chapter 8: Compositional Branching-Time Measurements
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
6 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
Compositional Branching-Time Measurements
Chapter number 8
Book title
From Programs to Systems. The Systems perspective in Computing
Published by
Springer, Berlin, Heidelberg, April 2014
DOI 10.1007/978-3-642-54848-2_8
Book ISBNs
978-3-64-254847-5, 978-3-64-254848-2
Authors

Radu Grosu, Doron Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Germany 1 17%
Unknown 5 83%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 67%
Professor 2 33%
Readers by discipline Count As %
Computer Science 6 100%

This page is provided by Altmetric.