UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl)
UvA-DARE (Digital Academic Repository)
Models and logics for process algebra
van der Zwaag, M.B.
Publication date
2002
Link to publication
Citation for published version (APA):
van der Zwaag, M. B. (2002). Models and logics for process algebra. Institute for
Programming Research and Algorithmics.
General rights
It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s)
and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open
content license (like Creative Commons).
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please
let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material
inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter
to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You
will be contacted as soon as possible.
Titless in the IPA Dissertation Series
J.O.. Blanco. The State Operator in Process
Algebra.Algebra. Faculty of Mathematics and
Comput-ingg Science, TUE. 1996-1
AJM.. Geerling. Transformational
Develop-mentment of Data-Parallel Algorithms. Faculty
off Mathematics and Computer Science, KUN. 1996-2 2
P.M.. Achten. Interactive Functional
Pro-grams:grams: Models, Methods, and Implementa-tion.tion. Faculty of Mathematics and Computer
Science,, KUN.. 1996-3
M.GA.. Verhoeven. Parallel Local Search. Facultyy of Mathematics and Computing Sci-ence,, TUE. 1996-4
M.H.G.K.. Kesseler. The Implementation of
FunctionalFunctional Languages on Parallel Machines withwith Distrib. Memory. Faculty of
Mathemat-icss and Computer Science, KUN. 1996-5 D.. Alstein. Distributed Algorithms for Hard
Real-TimeReal-Time Systems. Faculty of Mathematics
andd Computing Science, TUE. 1996-6 J.H.. Hoepman. Communication,
Synchro-nization,nization, and Fault-Tolerance. Faculty of
Mathematicss and Computer Science, UvA. 1996-7 7
H.. Doornbos. Reductivity Arguments and
ProgramProgram Construction. Faculty of
Mathemat-icss and Computing Science, TUE. 1996-8 D.. Tnri. Functorial Operational Semantics
andand its Denotational Dual. Faculty of
Math-ematicss and Computer Science, VUA. 1996-9 A.M.G.. Peeters. Single-Rail Handshake
Cir-cuits.cuits. Faculty of Mathematics and Computing
Science,, TUE. 1996-10
N.W.A.. Arenas. A Systems Engineering
Spec-ificationification Formalism. Faculty of Mechanical
Engineering,, TUE. 1996-11
P.. Seven de Santiago. Normalisation in
LambdaLambda Calculus and its Relation to Type In-ference.ference. Faculty of Mathematics and
Comput-ingg Science, TUE. 1996-12
D.R.. Dams. Abstract Interpretation and
Par-titiontition Refinement for Model Checking. Faculty
off Mathematics and Computing Science, TUE. 1996-13 3
M.M.. Bonsangue. Topological Dualities in
Semantics.Semantics. Faculty of Mathematics and
Com-puterr Science, VUA. 1996-14
B.L.E.. de fluiter. Algorithms for Graphs of
SmallSmall Treewidth. Faculty of Mathematics and
Computerr Science, UU. 1997-01
W.T.M.. Kars. Process-algebraic
Transforma-tionstions in Context. Faculty of Computer Science,
UT.. 1997-02
PJ".. Hoogendijk. A Generic Theory of Data
Types.Types. Faculty of Mathematics and
Comput-ingg Science, TUE. 1997-03
T.D.L.. Laan. The Evolution of Type Theory in
LogicLogic and Mathematics. Faculty of
Mathemat-icss and Computing Science, TUE. 1997-04 CC J . Bloo. Preservation of Termination for
ExplicitExplicit Substitution. Faculty of Mathematics
andd Computing Science, TUE. 1997-05 JJ.. Vereijken. Discrete-Time Process
Alge-bra.bra. Faculty of Mathematics and Computing
Science,, TUE. 1997-06
EA.M.. van den Beuken. A Functional
Ap-proachproach to Syntax and Typing. Faculty of
Math-ematicss and Informatics, KUN. 1997-07 A.W.. Heerink. Ins and Outs in Refusal
Test-ing.ing. Faculty of Computer Science, UT.
1998-01 1
G.. Naumoski and W. Alberts. A
Discrete-EventEvent Simulator for Systems Engineering.
Fac-ultyy of Mechanical Engineering, TUE. 1998-02 2
J.. Verriet. Scheduling with
Communica-tiontion for Multiprocessor Computation. Faculty
off Mathematics and Computer Science, UU. 1998-03 3
J.S.H.. van Gageldonk. An Asynchronous
Low-PowerLow-Power 80C5I Microcontroller. Faculty
off Mathematics and Computing Science, TUE. 1998-04 4
A A .. Basten. In Terms of Nets: System Design
off Mathematics and Computing Science, TUE. 1998-05 5
E.. Voermans. Inductive Datatypes with Laws
andand Subtyping - A Relational Model. Faculty
off Mathematics and Computing Science, TUE. 1999-01 1
H.. ter Doest. Towards Probabilistic
Unification-basedUnification-based Parsing. Faculty of
Com-puterr Science, UT. 1999-02
J.P.L.. Segers. Algorithms for the Simulation
ofof Surface Processes. Faculty of Mathematics
andd Computing Science, TUE. 1999-03 C.H.M.. van Kemenade. Recombinative
Evo-lutionarylutionary Search. Faculty of Mathematics and
Naturall Sciences, Univ. Leiden. 1999-04 E.I.. Barakova. Learning Reliability: a Study
onon Indecisiveness in Sample Selection. Faculty
off Mathematics and Natural Sciences, RUG. 1999-05 5
M.P.. Bodlaender. Schedulere Optimization
inin Real-Time Distributed Databases. Faculty
off Mathematics and Computing Science, TUE. 1999-06 6
M.A.. Reniers. Message Sequence Chart:
Syn-taxtax and Semantics. Faculty of Mathematics
andd Computing Science, TUE. 1999-07 J.P.. Warners. Nonlinear approaches to
satis-fiabilityfiability problems. Faculty of Mathematics and
Computingg Science, TUE. 1999-08 J.M.T.. Romijn. Analysing Industrial
Proto-colscols with Formal Methods. Methods. Faculty of
Com-puterr Science, UT. 1999-09
P.R.. D* Argenio. Algebras and Automata for
TimedTimed and Stochastic Systems. Faculty of
Computerr Science, UT. 1999-10
G.. Fabian. A Language and Simulator and Simulator for
Hy-bridbrid Systems. Faculty of Mechanical
Engineer-ing,, TUE. 1999-11
J.. Zwanenburg. Object-Oriented Concepts
andand Proof Rules. Faculty of Mathematics and
Computingg Science, TUE. 1999-12 R.S.. Venema. Aspects of an Integrated
Neu-ralral Prediction System. Faculty of Mathematics
andd Natural Sciences, RUG. 1999-13
J.. Saraiva. A Purely Functional
Implementa-tiontion of Attribute Grammars. Faculty of
Math-ematicss and Computer Science, UU. 1999-14 R.. Schiefer. Viper, A Visualisation Tool for
ParallelParallel Progam Construction. Faculty of
Mathematicss and Computing Science, TUE. 1999-15 5
K.M.M.. de Leeuw. Cryptology and Statecraft
inin the Dutch Republic. Faculty of Mathematics
andd Computer Science, UvA. 2000-01 T.EJ.. Vos. UNITY in Diversity. A stratified
approachapproach to the verification of distributed al-gorithms.gorithms. Faculty of Mathematics and
Com-puterr Science, UU. 2000-02
W.. Mallon. Theories and Tools for the
De-signsign of Delay-Insensitive Communicating Pro-cesses.cesses. Faculty of Mathematics and Natural
Sciences,, RUG. 2000-03
W.O.D.. Griffioen. Studies in Computer Aided
VerificationVerification of Protocols. Faculty of Science,
KUN.. 2000-04
P.H.F.M.. Verhoeven. The Design of the
Math-SpadSpad Editor. Faculty of Mathematics and
Computingg Science, TUE. 2000-05 J.. Fey. Design of a Fruit Juice Blending and
PackagingPackaging Plant. Faculty of Mechanical
Engi-neering,, TUE. 2000-06
M.. Franssen. Cocktail: A Tool for Deriving
CorrectCorrect Programs. Faculty of Mathematics
andd Computing Science, TUE. 2000-07 P.A.. Olivier. A Framework for Debugging
HeterogeneousHeterogeneous Applications. Faculty of
Natu-rall Sciences, Mathematics and Computer Sci-ence,, UvA. 2000-08
E.. Saaman. Another Formal Specification
Language.Language. Faculty of Mathematics and
Nat-urall Sciences, RUG. 2000-10
M.. Jelasity. The Shape Shape of Evolutionary Search
DiscoveringDiscovering and Representing Search Space Structure.Structure. Faculty of Mathematics and
Natu-rall Sciences, UL. 2001-01
R.. Ahn. Agents, Objects and Events a
compu-tationaltational approach to knowledge, observation andand communication. Faculty of Mathematics
M.. Huisman. Reasoning about Java programs
inin higher order logic using PVS and Isabelle.
Facultyy of Science, KUN. 2001-03 I.M.MJ.. Reymen. Improving Design
Pro-cessescesses through Structured Reflection.
Fac-ultyy of Mathematics and Computing Science, TU/e.. 2001-04
S.C.C.. Blom. Term Graph Rewriting: syntax
andand semantics. Faculty of Sciences, Division
off Mathematics and Computer Science, VUA. 2001-05 5
R.. van Liere. Studies in Interactive
Visualiza-tion.tion. Faculty of Natural Sciences,
Mathemat-icss and Computer Science, UvA. 2001-06 A.G.. Engels. Languages for Analysis and
TestingTesting of Event Sequences. Faculty of
Math-ematicss and Computing Science, TU/e. 2001-07 7
J.. Hage. Structural Aspects of Switching
Classes.Classes. Faculty of Mathematics and Natural
Sciences,, UL. 2001-08
M.H.. Lamers. Neural Networks for
Analy-sissis of Data in Environmental Epidemiology: A Case-studyCase-study into Acute Effects of Air Pollution Episodes.Episodes. Faculty of Mathematics and Natural
Sciences,, UL. 2001-09
T.C.. Ruys. Towards Effective Model
Check-ing.ing. Faculty of Computer Science, UT.
2001-10 0
D.. Chkliaev. Mechanical verification of
con-currencycurrency control and recovery protocols.
Fac-ultyy of Mathematics and Computing Science, TU/e.. 2001-11
M.D.. Oostdijk. Generation and presentation
ofof formal mathematical documents. Faculty of
Mathematicss and Computing Science, TU/e. 2001-12 2
A.T.. Hofkamp. Reactive machine control: A
simulationsimulation approach using x Faculty of
Me-chanicall Engineering, TU/e. 2001-13 D.. Bosnacki. Enhancing state space
reduc-tiontion techniques for model checking. Faculty of
Mathematicss and Computing Science, TU/e. 2001-14 4
M.C.. van Wezel. Neural Networks for
Intel-ligentligent Data Analysis: theoretical and experi-mentalmental aspects. Faculty of Mathematics and
Naturall Sciences, UL. 2002-01
V.. Bos and JJ.T. Kleijn. Formal Specification
andand Analysis of Industrial Systems. Faculty of
Mathematicss and Computer Science and Fac-ultyy of Mechanical Engineering, TU/e. 2002-02 2
T.. Kuipers. Techniques for Understanding
LegacyLegacy Software Systems. Faculty of Natural
Sciences,, Mathematics and Computer Science, UvA.. 2002-03
S.P.. Luttik. Choice Quantification in Process
Algebra.Algebra. Faculty of Natural Sciences,
Mathe-matics,, and Computer Science, UvA. 2002-04 RJ.. Willemen. School Timetable
Construc-tion:tion: Algorithms and Complexity. Faculty
off Mathematics and Computer Science, TU/e. 2002-05 5
M.LA.. Stoelinga. Alea Jacta Est:
Verifica-tiontion of Probabilistic, Real-time and Paramet-ricric Systems. Faculty of Science, Mathematics
andd Computer Science, KUN. 2002-06 N.. van Vugt. Models of Molecular
Comput-ing.ing. Faculty of Mathematics and Natural
Sci-ences,, UL. 2002-07
A.. Fehnker. Citius, Vilius, Melius:
Guid-inging and Cost-Optimality in Model Checking ofof Timed and Hybrid Systems. Faculty of
Science,, Mathematics and Computer Science, KUN.. 2002-08
R.. van Stee. On-line Scheduling and Bin
Packing.Packing. Faculty of Mathematics and Natural
Sciences,, UL. 2002-09
D.. Tauritz. Adaptive Information Filtering:
ConceptsConcepts and Algorithms. Faculty of
Mathe-maticss and Natural Sciences, UL. 2002-10 M.B.. van der Zwaag. Models and Logics
forfor Process Algebra. Faculty of Natural
Sci-ences,, Mathematics, and Computer Science, UvA.. 2002-11