Search alternatives:
live-algebra » life-algebra
like-algebra » life-algebra
Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Randomized Non-sequential Processes -- Model Checking -- Liveness and Fairness in Process-Algebraic...”
Cover Image
Read Now

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Algebraic and Uniqueness Properties of Parity Ordered Binary Decision Diagrams and Their Generalization...”
Cover Image
Read Now

3
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Algebra -- User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets -- Decidability...”