The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Compositional Verification of Concurrent and Real-Time Systems / Edition 1

Compositional Verification of Concurrent and Real-Time Systems / Edition 1

Barnes and Noble
Coloured Petri Nets: Modelling and Validation of Concurrent Systems / Edition 1

Coloured Petri Nets: Modelling and Validation of Concurrent Systems / Edition 1

Barnes and Noble
Introduction to Concurrency Theory: Transition Systems and CCS

Introduction to Concurrency Theory: Transition Systems and CCS

Barnes and Noble
Concurrent and Real-time Systems: The CSP Approach / Edition 1

Concurrent and Real-time Systems: The CSP Approach / Edition 1

Barnes and Noble
Introduction to Automata Theory, Languages, and Computation / Edition 3

Introduction to Automata Theory, Languages, and Computation / Edition 3

Barnes and Noble
Algebraic Theory for True Concurrency

Algebraic Theory for True Concurrency

Barnes and Noble
Transactions on Petri Nets and Other Models of Concurrency XV

Transactions on Petri Nets and Other Models of Concurrency XV

Barnes and Noble
Elements of Automata Theory

Elements of Automata Theory

Barnes and Noble
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Barnes and Noble
Concurrent Engineering: Automation, Tools, and Techniques / Edition 1

Concurrent Engineering: Automation, Tools, and Techniques / Edition 1

Barnes and Noble
Computational Ergodic Theory / Edition 1

Computational Ergodic Theory / Edition 1

Barnes and Noble
Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools / Edition 1

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools / Edition 1

Barnes and Noble
Models and Algorithms of Time-Dependent Scheduling / Edition 2

Models and Algorithms of Time-Dependent Scheduling / Edition 2

Barnes and Noble
Concurrency: The Works of Leslie Lamport / Edition 1

Concurrency: The Works of Leslie Lamport / Edition 1

Barnes and Noble
Advances in Time-Delay Systems / Edition 1

Advances in Time-Delay Systems / Edition 1

Barnes and Noble
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 / Edition 1

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 / Edition 1

Barnes and Noble
Powered by Adeptmind