Cover Image
Read Now

181
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Concurrent Systems -- Tracking Heaps That Hop with Heap-Hop -- Software Verification -- Automatic Analysis...”
Cover Image
Read Now

182
Published 2016
Springer International Publishing
Table of Contents: “...Invited Papers -- Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress...”
Cover Image
Read Now

183
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Automatic verification of finite-state concurrent systems -- The application of Petri nets...”
Cover Image
Read Now

184
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... of planar locally path graphs -- A framework for the specification of reactive and concurrent systems in Z...”
Cover Image
Read Now

185
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... supporting the construction of cTLA-Specifications -- A tool for proving invariance properties of concurrent...”
Cover Image
Read Now

186
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition...”
Cover Image
Read Now

187
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”
Cover Image
Read Now

188
Published 2005
Springer Berlin Heidelberg
“... to represent concurrent systems that int- act via message passing or method invocation. In telecommunications...”
Cover Image
Read Now

189
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...On Convergence of Concurrent Systems under Regular Interactions -- Computing Stuttering Simulations...”
Cover Image
Read Now

190
Published 2024
Springer Berlin Heidelberg
“... systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent...”
Cover Image
Read Now

191
Published 2021
Springer International Publishing
Table of Contents: “... Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent...”
Cover Image
Read Now

192
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... of concurrent systems -- Efficient modeling of memory arrays in symbolic ternary simulation -- Translation...”
Cover Image
Read Now

193
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... for Asynchronous Concurrent Systems -- Finite Horizon Analysis of Markov Chains with the Mur? Verifier -- Improved...”
Cover Image
Read Now

194
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... equivalences -- Causality based models for the design of concurrent systems -- Modal logics for mobile...”
Cover Image
Read Now

195
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...-state concurrent systems -- Specifying, programming and verifying real-time systems using a synchronous...”
Cover Image
Read Now

196
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... specifications of concurrent systems -- Axiomatizing permutation equivalence in the ?-calculus -- A CLP view...”
Cover Image
Read Now

197
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... structures -- A language theoretic approach to serialization problem in concurrent systems -- Logic...”
Cover Image
Read Now

198
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... for Concurrent System Using Mutually Atomic Transactions -- Probabilistic Reachability for Parametric Markov...”
Cover Image
Read Now

199
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Concurrent System Testing -- Implementation Relations for the Distributed Test Architecture -- Modular System...”
Cover Image
Read Now

200
Published 2000
Springer US
Table of Contents: “... of Concurrent Systems with Action Races -- 18 An Approach for Testing Real Time Protocol Entities -- 19 Test...”