Search alternatives:
computer programming » computer program
computer programs » computer program
Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... and Evaluation of a Concurrent Program Using Coloured Stochastic Petri Nets: Lamport’s Fast Mutual Exclusion...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Computing Most-Precise Abstract Operations for Shape Analysis -- Monotonic Abstraction-Refinement for CTL...”
Cover Image
Read Now

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

5
by Jensen, Kurt, Kristensen, Lars M.
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...to Modelling and Validation -- Non-hierarchical Coloured Petri Nets -- CPN ML Programming -- Formal...”
Cover Image
Read Now

6
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Performance issues in parallel programming -- Combining Petri Nets and other formal methods...”
Cover Image
Read Now

7
by Jensen, Kurt
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... Storage Project -- 13 Distributed Program Execution -- 13.1 Introduction to Distributed Program Execution...”