Search alternatives:
concurrency » concurrent
Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

2
Published 2021
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

3
Published 2015
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

4
Published 2014
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

5
Published 2013
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

6
Published 2016
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

7
Published 2013
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

8
Published 2017
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

9
Published 2019
Springer Berlin Heidelberg
Table of Contents: “... Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets -- Formal Modelling...”
Cover Image
Read Now

10
Published 2022
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

11
Published 2024
Springer Berlin Heidelberg
Table of Contents: “...A Toolchain to Compute Concurrent Places of Petri Nets -- Development and Verification of a...”
Cover Image
Read Now

12
Published 2018
Springer Berlin Heidelberg
Table of Contents: “...Computing Alignments of Event Data and Process Models -- Heuristic Mining Approaches for High...”
Cover Image
Read Now

13
by Best, Eike, Devillers, Raymond, Koutny, Maciej
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Algebras -- 9. A Concurrent Programming Language -- 10. Conclusion -- Appendix: Solutions of Selected...”
Cover Image
Read Now

14
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Prevention in Petri Nets -- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language --...”