Choice quantification in process algebra

Authors	S.P. Luttik
Supervisors	J.A. Bergstra J.F. Groote
Award date	03-04-2002
ISBN	90-90156-24-
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	PhD thesis
Language	English
Downloads	Thesis Cover Stellingen Titlepage Contents Preface 1 Introduction 2 Process algebras with infinite sums 3 The syntax and semantics of pCRL 4 A correspondence between pCRL And First-order logic 5 A deductive System for pCRL 6 Algebraic pCRL 7Concluding remarks 7 Concluding remarks Bibliography Index of notations Index of subjects Keuze kwantificatie in procesalgebra Samenvatting (Dutch summary) Cover
Permalink to this page

Back

UvA-DARE