152 followers
our contribution to the Festschrift of Joseph Sifakis on SpringerLink with @TiezziFrancesco @Rock_DeNic @m_loreti http://t.co/7a4aMq1pIp
From Programs to Systems. The Systems perspective in Computing
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Model-Driven Information Flow Security for Component-Based Systems
-
Altmetric BadgeChapter 2 Context-Bounded Analysis of TSO Systems
-
Altmetric BadgeChapter 3 A Model of Dynamic Systems
-
Altmetric BadgeChapter 4 From Hierarchical BIP to Petri Calculus
-
Altmetric BadgeChapter 5 Programming and Verifying Component Ensembles
-
Altmetric BadgeChapter 6 Parametric and Quantitative Extensions of Modal Transition Systems
-
Altmetric BadgeChapter 7 Specification Theories for Probabilistic and Real-Time Systems
-
Altmetric BadgeChapter 8 Compositional Branching-Time Measurements
-
Altmetric BadgeChapter 9 Steps towards Scenario-Based Programming with a Natural Language Interface
-
Altmetric BadgeChapter 10 Assembly Theories for Communication-Safe Component Systems
-
Altmetric BadgeChapter 11 Constructive Collisions
-
Altmetric BadgeChapter 12 The Unmet Challenge of Timed Systems
-
Altmetric BadgeChapter 13 Let’s Get Physical: Computer Science Meets Systems
-
Altmetric BadgeChapter 14 What Can be Computed in a Distributed System?
-
Altmetric BadgeChapter 15 Toward a System Design Science
-
Altmetric BadgeChapter 16 OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems
-
Altmetric BadgeChapter 17 Feedback in Synchronous Relational Interfaces
-
Altmetric BadgeChapter 18 Reasoning about Network Topologies in Space