Tutorial voor de ExSpect-bibliotheek voor "administratieve logistiek"

Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks, p. 73. A general conservative extension theorem in process algebra, p. 17. Job Shop Scheduling by Constraint Satisfaction, p. 22. A Hierarchical Membership Protocol for Synchronous Distributed Systems, p. 43. Temporal operators viewed as predicate transfonners, p. II. Automatic Verification of Regular Protocols in PIT Nets, p.23. A taxomomy of finite automata construction algorithms, p. 87. A taxonomy of finite automata minimization algorithms, p. 23. A precise clock synchronization protocol,p. Treewidth and Patwidth of Cocomparability graphs of Bounded Dimension, p. 14. Browsing Semantics in the "Tower" Model, p. 19. Verifying Sequentially Consistent Memory using Interface Refinement, p. 20.