Magic in Science
Article in Theoretical Computer Science (April 2012)
The most recent citing publication is shown below. View this citation on Dimensions.
A Decade of Concurrency Reflections and Perspectives
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 16 Data-flow synchronous languages
-
Altmetric BadgeChapter 17 Process algebra with backtracking
-
Altmetric BadgeChapter 18 Some Chemical Abstract Machines
-
Altmetric BadgeChapter 19 Verification tools for finite-state concurrent systems
-
Altmetric BadgeChapter 20 A Decade of Concurrency Reflections and Perspectives
-
Altmetric BadgeChapter 21 An introduction to the theoretical aspects of Coloured Petri Nets
-
Altmetric BadgeChapter 22 Temporal verification of simulation and refinement
-
Altmetric BadgeChapter 23 Verification and specification of concurrent programs
-
Altmetric BadgeChapter 24 Simulation techniques for proving properties of real-time systems
-
Altmetric BadgeChapter 25 A Decade of Concurrency Reflections and Perspectives
-
Altmetric BadgeChapter 26 Interaction diagrams
-
Altmetric BadgeChapter 27 Algebraic theories for name-passing calculi
-
Altmetric BadgeChapter 28 Initial algebra and final coalgebra semantics for concurrency
-
Altmetric BadgeChapter 29 Logical specifications of infinite computations
-
Altmetric BadgeChapter 30 Partial order based design of concurrent systems