Cover Image
Read Now

81
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- A case study in transformational design of concurrent systems -- Yeast: A case study for a practical...”
Cover Image
Read Now

82
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of concurrent systems -- A linear-time model-checking algorithm for the alternation-free modal mu-calculus...”
Cover Image
Read Now

83
Published 2024
Springer Nature Switzerland
Table of Contents: “..., Concurrent Systems -- A Survey of Actor-Like Programming Models for Serverless Computing -- Programming...”
Cover Image
Read Now

84
by Pawlewski, Pawel
Published 2010
IntechOpen
“... as mathematical tool for modeling concurrent systems. The nets whose model was extended with the time model can...”
Cover Image
Read Now

85
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... predicate/transition nets -- Semantics of concurrent systems: A modular fixed-point trace approach...”
Cover Image
Read Now

86
by Skowron, Andrzej
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... graphs and homological properties of posets -- On the control of concurrent systems by restrictions...”
Cover Image
Read Now

87
Published 2003
Springer Berlin Heidelberg
“... logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems...”
Cover Image
Read Now

88
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...-Flow Analysis -- Reasoning about Concurrent Systems Using Types -- Testing Hennessy-Milner Logic...”
Cover Image
Read Now

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

90
Published 2023
Springer Nature Switzerland
Table of Contents: “... -- GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data...”
Cover Image
Read Now

91
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... computations of non-deterministic schemes -- Specification and verification of concurrent systems in CESAR...”
Cover Image
Read Now

92
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”
Cover Image
Read Now

93
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... and concurrent systems -- Implementing WS1S via finite automata -- Instruction computation in subset construction...”
Cover Image
Read Now

94
Published 2018
Springer International Publishing
“... models, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular...”
Cover Image
Read Now

95
Published 1992
Springer Berlin Heidelberg
“... programming: three papers. Models: three papers areconcerned with models for concurrent systems...”
Cover Image
Read Now

96
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets -- Comparison...”
Cover Image
Read Now

97
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... of the Finite ?-Calculus -- Symbolic Diagnosis of Partially Observable Concurrent Systems -- Automatized...”
Cover Image
Read Now

98
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... of nondeterministic programs -- For statements with restricted enumerations -- A method for developing concurrent...”
Cover Image
Read Now

99
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- On equivalent execution semantics of concurrent systems -- Mathematical methods for calculating invariants...”
Cover Image
Read Now

100
by Best, Eike, Devillers, Raymond, Koutny, Maciej
Published 2001
Springer Berlin Heidelberg
“... and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra...”