Cover Image
Read Now

1
Published 2024
Springer Nature Switzerland
Table of Contents: “... Structures for Interval Order Semantics of Concurrent Systems -- Token Trail Semantics II Petri Nets...”
Cover Image
Read Now

2
Published 2024
Springer Nature Switzerland
Table of Contents: “...Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets. -- Evaluating...”
Cover Image
Read Now

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Traversal Techniques for Concurrent Systems -- Model Checking: Fixed Points -- A Fixpoint Based Encoding...”
Cover Image
Read Now

4
Published 2000
Springer Berlin Heidelberg
“... (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ ¨ and N. Shankar (on the topic \A Tutorial...”
Cover Image
Read Now

5
by Crystal, Stephen
Published 2021
Patient-Centered Outcomes Research Institute