Models and logics for process algebra

Authors	M.B. van der Zwaag
Supervisors	J.A. Bergstra
Award date	11-10-2002
ISBN	9051706367 9789051706369
Number of pages	159
Publisher	Amsterdam: Institute for Programming Research and Algorithmics
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	PhD thesis
Language	English
Downloads	Thesis Cover Titlepage Contents Preface I A Short Introduction to ACP II The Logic of ACP III Orthogonal Bisimulation Equivalence IV The Tree Identify Protocol of IEEE 1394 V Timed Cones and Foci VI Time-Stamped Actions in pCRL Samenvatting References Titles in the IPA Dissertation Series Cover
Permalink to this page

Back

UvA-DARE