Cover of CONCUR 2001 - Concurrency Theory

Mark as

CONCUR 2001 - Concurrency Theory

by Kim G. Larsen

Buy this book Review

More by Kim G. Larsen

Cover of A complete protocol verification using revitalized bisimulation

Cover of Automata, Languages and Programming

Cover of Computer Aided Verification: 3rd International Workshop, Cav 92

Cover of Formal Modeling and Analysis of Timed Systems

Cover of Models, Mindsets, Meta : The What, the How, and the Why Not?

Cover of Automata, Languages and Programming

Cover of TAPSOFT '95

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment