Clicky

CONCUR 2001 - Concurrency Theory by Kim G. Larsen and similar books you'll love - Bookscovery

Home > Authors > Kim G. Larsen > CONCUR 2001 - Concurrency Theory

Buy at: Bookshop.org Amazon

CONCUR 2001 - Concurrency Theory

Kim G. Larsen, Mogens Nielsen

Recent activity

Rate this book to see your activity here.

6 Books Similar to CONCUR 2001 - Concurrency Theory by Kim G. Larsen

Bookscovery readers who liked CONCUR 2001 - Concurrency Theory also like A complete protocol verification using revitalized bisimulation, Automata, Languages and Programming and Computer Aided Verification: 3rd International Workshop, Cav 92. How many of these have you read?

A complete protocol verification using revitalized bisimulation by Kim G. Larsen

Cover of A complete protocol verification using revitalized bisimulation
Buy this book at:
Bookshop.org Amazon

Automata, Languages and Programming by Kim G. Larsen

Cover of Automata, Languages and Programming
Buy this book at:
Bookshop.org Amazon

Computer Aided Verification: 3rd International Workshop, Cav 92 by Kim G. Larsen

Cover of Computer Aided Verification: 3rd International Workshop, Cav 92
Buy this book at:
Bookshop.org Amazon

Formal Modeling and Analysis of Timed Systems by Kim G. Larsen

Cover of Formal Modeling and Analysis of Timed Systems
Buy this book at:
Bookshop.org Amazon

Models, Mindsets, Meta : The What, the How, and the Why Not? by Tiziana Margaria

Cover of Models, Mindsets, Meta : The What, the How, and the Why Not?
Buy this book at:
Bookshop.org Amazon

Automata, Languages and Programming by Jirí Wiedermann

Cover of Automata, Languages and Programming
Buy this book at:
Bookshop.org Amazon

Comments and reviews of CONCUR 2001 - Concurrency Theory

Please sign in to leave a comment