Cover Image
Read Now

41
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... transformations giving B-equivalent PT-nets -- Equivalence notions for concurrent systems -- Milner’s...”
Cover Image
Read Now

42
Published 2014
Springer International Publishing
Table of Contents: “... and Concurrent Systems -- On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed...”
Cover Image
Read Now

43
Published 1993
Springer London
Table of Contents: “... Verification of Concurrent Systems with TLA -- The DECspec Project: Tools for Larch/C -- Formal Verification...”
Cover Image
Read Now

44
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Tutorial: Proving properties of concurrent systems with SPIN -- On sharing and determinacy...”
Cover Image
Read Now

45
Published 2018
Springer International Publishing
Table of Contents: “... -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML...”
Cover Image
Read Now

46
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... and Their Refinements -- Object Specification -- Algebraic Specification of Concurrent Systems -- Formalization...”
Cover Image
Read Now

47
by Deng, Yuxin
Published 2014
Springer Berlin Heidelberg
“...This book discusses the semantic foundations of concurrent systems with nondeterministic...”
Cover Image
Read Now

48
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... -- Infinitary languages: Basic theory and applications to concurrent systems -- The quest goes on: A survey...”
Cover Image
Read Now

49
Published 2012
Springer Berlin Heidelberg
“... nets and related models of concurrent systems are addressed...”
Cover Image
Read Now

50
Published 2012
Springer Berlin Heidelberg
“... on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics...”
Cover Image
Read Now

51
Published 2011
Springer Berlin Heidelberg
“... and development in the area of Petri nets and related models of concurrent systems are addressed...”
Cover Image
Read Now

52
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... of term graph rewriting systems -- Towards a theory of simulation for verification of concurrent systems...”
Cover Image
Read Now

53
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... in Mobile Processes -- A Model of Evolvable Components -- Games and Concurrent Systems -- The Impact...”
Cover Image
Read Now

54
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... for Concurrent Systems -- More Anti-chain Based Refinement Checking -- An Analytical and Experimental Comparison...”
Cover Image
Read Now

55
Published 1990
Springer London
“...The semantics of concurrent systems is one of the most vigorous areas of research in theoretical...”
Cover Image
Read Now

56
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... correctness checking -- Mechanical verification of concurrent systems with TLA -- Using a theorem prover...”
Cover Image
Read Now

57
by Börger, Egon, Raschke, Alexander
Published 2018
Springer Berlin Heidelberg
Table of Contents: “... Modeling Concurrent Systems -- 4 Modeling Context Awareness -- 5 Modeling Business Processes -- 6 Modeling...”
Cover Image
Read Now

58
by André, Etienne
Published 2013
ISTE
“... and verification of timed concurrent systems and, in particular, timed automata as well as several extensions...”
Cover Image
Read Now

59
Published 2016
Springer International Publishing
“... and concurrent systems are presented within this volume....”
Cover Image
Read Now

60
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Checking on Secondary Storage -- Checking Liveness Properties of Concurrent Systems by Reinforcement...”