Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)

VERIFICATION OF SYSTEMS AND CIRCUITS USING LOTOS, PETRI NETS, AND CCS BY Michael Yoeli and Rakefet Kol Technion—Israel...
Author:  Michael Yoeli |  Rakefet Kol

20 downloads 455 Views 857KB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

PARALLEL COMBINATORIAL OPTIMIZATION WILEY SERIES ON PARALLEL AND DISTRIBUTED COMPUTING SERIES EDITOR: Albert Y. Zomay...

Mobile Intelligence WILEY SERIES ON PARALLEL AND DISTRIBUTED COMPUTING Editor: Albert Y. Zomaya A complete list of t...

Mobile Intelligence Edited by Laurence T. Yang Agustinus Borgy Waluyo Jianhua Ma Ling Tan Bala Srinivasan Mobile Inte...

Advanced Computational Infrastructures for Parallel and Distributed Adaptive Applications Edited by Manish Parashar Xia...

I Parallel and Distributed Computing Parallel and Distributed Computing Edited by Alberto Ros In-Tech intechweb.o...

Advanced Computational Infrastructures for Parallel and Distributed Adaptive Applications Edited by Manish Parashar Xia...

Algorithms and Parallel Computing Algorithms and Parallel Computing Fayez Gebali University of Victoria, Victoria, BC...

DESIGN AND ANALYSIS OF DISTRIBUTED ALGORITHMS Nicola Santoro Carleton University, Ottawa, Canada WILEY-INTERSCIENCE A ...

DESIGN AND ANALYSIS OF DISTRIBUTED ALGORITHMS Nicola Santoro Carleton University, Ottawa, Canada WILEY-INTERSCIENCE A...

This page intentionally left blank Petri Nets This page intentionally left blank Petri Nets Fundamental Models, V...