Cover Image
Read Now

101
Published 1998
Springer Berlin Heidelberg
“... of concurrent systems...”
Cover Image
Read Now

102
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems...”
Cover Image
Read Now

103
Published 2022
Springer International Publishing
“..., tile assembly systems, rewriting systems, molecular computing models, neural models, concurrent systems...”
Cover Image
Read Now

104
Published 2016
Springer International Publishing
Table of Contents: “... for Concurrent Systems -- ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations...”
Cover Image
Read Now

105
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... of Parameterized Concurrent Systems -- Transformation Rules for Locally Stratified Constraint Logic Programs...”
Cover Image
Read Now

106
Published 1999
Springer Vienna
Table of Contents: “... Graph Programming System HOPS -- Truth — A Verification Platform for Concurrent Systems -- Tool...”
Cover Image
Read Now

107
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... Subclass of Petri Nets -- Synthesis of Concurrent Systems -- Subclasses of Self-Modifying Nets -- Test...”
Cover Image
Read Now

108
by Bowen, Jonathan P., Hinchey, Michael G.
Published 1999
Springer London
Table of Contents: “... Methodologies:Comparison and Critique -- 5. Concurrent and Distributed Systems -- 5.1 Concurrent Systems -- 5.2 Distributed...”
Cover Image
Read Now

109
Published 1993
Springer Berlin Heidelberg
“... interested in the applications and the theory of concurrent systems to take a closer look at Petri nets...”
Cover Image
Read Now

110
Published 1987
Springer Berlin Heidelberg
“... in the relationship of petri nets to other models of concurrent systems...”
Cover Image
Read Now

111
Published 2013
Springer Berlin Heidelberg
“... team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems...”
Cover Image
Read Now

112
by Aldini, Alessandro, Bernardo, Marco, Corradini, Flavio
Published 2010
Springer London
“... concurrent systems. This can be exploited at the software architecture level of design to improve...”
Cover Image
Read Now

113
Published 2024
Springer Nature Switzerland
Table of Contents: “...-- Invited Papers. -- Causal Debugging for Concurrent Systems (Tutorial). -- Compositional...”
Cover Image
Read Now

114
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... type specifications -- On the parameterized algebraic specification of concurrent systems...”
Cover Image
Read Now

115
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... ?-calculus and its use in model checking -- Analyzing concurrent systems using the Concurrency Workbench...”
Cover Image
Read Now

116
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... for efficient concurrent systems -- Language and architecture paradigms as object classes: A unified approach...”
Cover Image
Read Now

117
Published 2014
Springer International Publishing
Table of Contents: “... Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a...”
Cover Image
Read Now

118
Published 2014
Springer Berlin Heidelberg
“... on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems...”
Cover Image
Read Now

119
Published 1995
Springer Netherlands
Table of Contents: “... for Dynamic ADTs -- Specification of Concurrent Systems: from Petri Nets to Graph Grammars -- Towards a Theory...”
Cover Image
Read Now

120
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... of Application of the Parallel Algorithm in NWP at SMA -- Operating Systems and Strategies for Highly Concurrent...”