Wiskunde en Informatica

Wetenschapplijke publicaties
Asch, A.G. van; Blij, F. van der:

Hoeken en hun maat.

CWI Syllabus 29, Amsterdam, 1992, pp. 93. (DW)
Bloemen, A.H.A.:

Codes for a two-way channel without feedback.

Proceedings 13th Symposium Informatica Theory in the Benelux, Heideman, G.H.L.M., Hoeksema, F.W., Tattje, H.E.P., (eds.), Werkgemeenschap Informatie- en Communicatietheorie, Enschede, 1992, pp. 173-180. (E)
Blokhuis, A.; Seress, A.; Wilbrink, H.A.:

Characterization of complete exterior sets of conics.

Combinatorica vol.12 (2), 1992, pp. 143-147. (DW)

Blokhuis, A.; Wilbrink, H.A.:

Alternative proof of Sine's theorem on the Size of a Regular Polygon in R^n with the l-infinity-Metric.

Discrete & Computational Geometry vol.7, nr. 4, 1992, pp. 433-434. (DW)

Blokhuis, A.; Calderbank, A.R.:

Quasi-symmetric Designs and the Smith-Normal Form.

Designs, Codes and Cryptography 2, 1992, pp. 189-206. (DW)
Blokhuis, A.; Brouwer, A.E.:

Locally K {3,3} or Petersen graphs.

Discrete Mathematics 106/107, 1992, pp. 53-60. (DW)
Blokhuis, A.; Szönyi, T.:

Note on the structure of semiovals in finite projective planes.

Discrete Mathematics 106/107, 1992, pp. 61-65. (DW)
Brouwer, A.E.; Hemmeter, J.:

A new family of distance-regular graphs and the {0,1,2}-cliques in dual polar graphs.

Eur. J. Combin. 13, 1992, pp. 71-79. (DW)
Brouwer, A.E.; Haemers, W.H.:`Structure and uniqueness of the (81,20,1,6) strongly regular graph.

Discrete Mathematics 106/107, 1992, pp. 77-82. (DW)

Brouwer, A.; Haemers, W.H.; Wilbrink, H.A.:

Some 2-ranks.

Discrete Mathematics 106/107, 1992, pp. 83-92. (DW)
Brouwer, A.; Eijl, C.A.:

On the $p$-rank of the adjacency matrices of strongly regular graphs.

J. Alg. Comb. 1, 1992, pp. 329-346. (DW)
Bruijn, N.G. de:

Arithmetical medallions and friezes.

Nieuw Archief Wiskunde (4), vol. 9, 1992, pp. 339-350. (DW)
Bruijn, N.G. de:

Penrose patterns are almost entirely determined by two points.

Discrete Mathematics 106/107, 1992, pp. 97-104. (DW)
Cohen, A.M.; Leeuwen, M.A.A. van; Lisser, B.:

LiE, A package for lie group computations.

CAN, Amsterdam, 1992, pp. 113. (DW)
Cohen, A.M.; Liebeck, M.W.; Saxl, J.; Seitz, G.M.:

The local maximal subgroups of groups of Lie type.

Proc. London Math. Soc. (3), 64, 1992, pp. 21-48. (DW)
Cohen, A.M.; Cooperstein, B.N.:

Generalized hexagons of even order.

Annals of Discrete Mathematics 107, 1992, pp. 139-146. (DW)
Cohen, A.M.; Cameron, P.J.:

On the number of fixed point free elements in a permutation group.

Annals of Discrete Mathematics 107, 1992, pp. 135-138. (DW)
Cohen, A.M.; Bon, J. van:

Prospective classification of distance-transitive graphs.

Proceedings of the Combinatorics 1988 conference at Ravello, A. Barlotti et al. (eds.), Mediter­ranean Press, Commenda di Rende, Italy, 1992, pp. 25-38. (DW)

Cuypers, H.:

On Huang's characterization of the bilinear forms graph.

European Journal of Combinatorics 13, 1992, pp. 33-37. (DW)

Cuypers, H.:

The dual Pasch's axiom.

European Journal of Combinatorics 13, 1992, pp. 15-31. (DW)
Cuypers, H.:

Finite locally generalized quadrangles with affine planes.

European Journal of Combinatorics 13, 1992, pp. 439-453. (DW)
Cuypers, H.; Hall, J.:

The classification of 3-transposition groups with trivial center.

Groups, Combinatorics and Geometry, Proceedings of the London Mathematical Society symposium on Groups and Combinatorics, Durham 1990, M. Liebeck, J. Saxl (eds.), London Mathematical Society Lecture Notes Series 165, Cambridge University Press, 1992, pp. 121-138. (DW)
Cuypers, H.; Pasini, A.:

Locally polar geometries with affine planes.

European Journal of Combinatorics 13, 1992, pp. 39-57. (DW)
Cuypers, H.; Johnson, P.; Pasini, A.:

On the embeddability of polar spaces.

Geometriae Dedicata 44, 1992, pp. 349-358. (DW)
Cuypers, H.; Hall, J.I.:

3-transposition group of orthogonal type.

Journal of Algebra 152, 1992, pp. 342-373. (DW)
Fang, G.:

Binary Nlock Codes for Correcting Asymmetric or Unidirectional Errors.

Ph. D. dissertation, EUT, Eindhoven, 1992, pp. 97. (DW)
Fang, G.; Tilborg, H.C.A. van:

Bounds and Constructions of Asymmetric or Unidirectional Error-Correcting Codes.

Applicable Algebra in Engineering, Communication and Computing, no. 4, vol. 3, pp. 269-300. (DW)
Klarner, D.A.; Post, K.:

Some fascinating integer sequences.

Discrete Mathematics 106/107, 1992, pp. 303-309. (DW)
Koolen, J.H.:

A new condition for distance-regular graphs.

European Journal of Combinatorics 13, 1992, pp. 63-64. (DW)
Munuera, C.:

On the main conjecture on geometric MDS codes.

IEEE Trans. Inform. Theory 38, 1992, pp. 1573-1577. (DW)
Pedersen, J.P.:

A function field related to the REE group.

Proc. coding theory and algebraic geometry, H. Stichtenotn, M.A. Tsfasman (eds.), Luming 1991, Lecture Notes Math. 1518, Springer Verlag, Berlin, 1992, pp. 122-131. (DW)

Pellikaan, R.:

On the gonality of curves, abundant codes and decoding.

Coding Theory and Algebraic geometry, Luminy 1991, H. Stichtenoth en M.A. Tsfasman (eds.), Springer Lect. Notes 1518, 1992, pp. 132-144. (DW)

Pellikaan, R.:

On decoding by error location and dependent sets of error positions.

Discrete Mathematics 106/107, 1992, pp. 369-381. (DW)
Pellikaan, R.; Porter, S.C.; Shen, B.Z.:

Decoding geometric Goppa codes using an extra place.

IEEE Trans. Inform. Theory IT-38, 1992, pp. 1663-1676. (DW)
Schalkwijk, J.P.M.:

On genie assisted strategies.

Proc. 13th Symp. Inform. Theory in the Benelux, Heideman, G.H.L.M., Hoeksema, F.W., Tattje, H.E.P., (eds.), Werkgemeenschap Informatie- en Communicatietheorie, Enschede, 1992, pp. 167-171. (E)
Schalkwijk, J.P.M.:

Some aspects of the information theoretic dialogue.

Discrete Math. 106/107, 1992, pp. 407-413. (E)
Seidel, J.J.:

Geometry and Combinatorics.

Selected works of J.J. Seidel, D.G. Corneil en R. Mathon (eds.), Academic Press, 1992, p. 410. (DW)
Seidel, J.J.:

More about two-graphs.

Combinatorics, Graphs and Complexity, Proc. 4th Czech Sympos. Cominat., Prachatice 1990, M.Fiedler en J. Nesetril (eds.), 1992, pp. 297-307. (DW)
Seidel, J.J.:

Introduction to association schemes.

Publ. I.R.M.A. Strasbourg 1991, 47, 6/5-26 Actes 26e Séminaire Lotharingen, 1992, pp. 77-91. (DW)
Seidel, J.J.:

A note on path-zero graphs.

Discrete Mathematics 106/107, 1992, pp. 435-438. (DW)
Seidel, J.J.:

Switching operations on graphs.

Finite geometry and Combinatorics, Deinze, 1992, pp. 3. (DW)
Shen, B.Z.:

Solving a congruence on a graded algebra by a subresultant.

Journal of Symbolic Computation 14, 1992, pp. 505-522. (DW)
Thas, J.A.; Cameron, P.J.; Blokhuis, A.:

On a generalization of a theorem of B. Segre.

Geometriae Dedicata 43, 1992, pp. 299-305. (DW)
Tilborg, H.C.A. van:

Fire codes revisited.

Discrete Mathematics vol. 106/107, 1992, pp. 479-482. (DW)
Tilborg, H.C.A. van:

Public key cryptology and fundamental research; their interaction.

Proc. of Cryptography and data protection, J.H. van Lint, R. Tijdeman (eds.), K.N.A.W. Verh. Afd. Natuurkunde, Eerste Reeks, deel 37, 1992, pp. 41-49. (DW)
Tilborg, H.C.A. van:

Cryptology.

Encyclopedia of Telecommunications, F.E. Froelich, A. Kent (eds.), vol. 4, Marcel Dekker Inc., New York, 1992, pp. 501-517. (DW)
Tilborg, H.C.A. van:

Eerste inleiding in de cryptology.

Handboek Telematica C. de Jong (ed.), 9e aanvulling, Samson Bedrijfsinformatie, Alphen aan den Rijn, 1992, II 8510, pp. 1-21. (DW)
Nagekomen publicaties
Blokhuis, A.; Brouwer, A.E.; Wilbrink, H.A.:

Hermitian unitals are codewords.

Discrete Mathematics 97, pp. 63-68. (DW)
Sun, F.W.:

Approaching Channel Capacity by Equiprobable Signaling.

Proceeding of International Winter Meeting on Information and Coding Theory, Essen, 1991, pp. 60. (DW)
Sun, F.W.:

Weakly Perfect Binary Block Codes for Correcting Asymmetric Errors.

Proc. of the International Symposium on Commun., Taiwan, 1991, pp. 57-60. (DW)
Vakpublicaties
Bussemaker, F.C.; Neumaier, A.:

Exceptional graphs with smallest eigenvalue-2 and related problems.

Mathematics of Computation vol. 59, nr. 200, 1992, pp. 583-608. (DW)
Cohen, A.M.:

Computional Group Theory.

CWI Quarterly, Vol. 5, no. 2, Amsterdam, 1992, pp. 89-91. (DW)
1.4

VF-code: TUE.INF.301.90.26

VF-programma:PROGRAMMEREN
Dissertaties
Wetenschappelijke publicaties
Backhouse, R.C.; Bruin, P; Hoogendijk, P.; Malcolm, G.; Voermans, T.S.; Woude, J. van der:

Polynomial Relators.

Proceedings of the 2nd Conference on Algebraïc Methodology and Software Technology, AMAST'91, Nivat, M., Rattray, C.S., Rus, T., Scollo, G. (eds.), Springer Verlag, Workshops in Computing, 1992, pp. 303-326.

Gasteren, A.J.M.; Dijkstra, E.W.: Well-Foundedness and the Transitive Closure.

Programming and Mathematical method: Proceedings of the NATO advanced study institute, Marktoberdorf FRG, Manfred Broy, (ed.), Berlin, Springer, 1992, pp. 11-17.
Hoogerwoord, R.R.:

A symmetric set of efficient list operations.

Journal of Functional Programming 2, (4), 1992, pp. 505-513.
Hutton, G.; Voermans, E.:

Making functionality more general.

In: Functional Programming , Glasgow 1991,Workshop in computing, Springer Verlag, 1992, pp. 177-190.
Kaldewaij, A.:

Programmeren: Deel 1, Pascal.

Bohn, Stafleu, Van Loghhum, 1992, pp. 1-145.
Kaldewaij, A.:

Docentenhandleiding Programmeren: Deel 1, Pascal.

Bohn, Stafleu, Van Loghhum, 1992, pp. 1-36.
Kaldewaij, A.:

Programmeren: Deel 2, Het ontwerpen van algoritmen.

Bohn, Stafleu, Van Loghhum, 1992, pp. 1-155.
Kaldewaij, A.:

Docentenhandleiding Programmeren: Deel 2, Het ontwerpen van algoritmen.

Bohn, Stafleu, Van Loghhum, 1992, pp. 1-35.
Kaldewaij, A.; Udding, J.T.:

Rank Order Filters and Priority Queues.

Distributed Computing, 6, 1992, pp. 99-105.
Kamareddine, F.:

Set Theory and Nominalisation, part I.

Journal of Logic and Computation, Vol. 2, no. 5, 1992, pp. 579-604.
Kamareddine, F.:

Set Theory and Nominalisation, part II.

Journal of Logic and Computation, Vol. 2, no. 6, 1992, pp. 21.
Kamareddine, F.:

Lambda-terms, Logic, Determiners and Quantifiers.

Journal of Logic, Language and Information, Vol. 1, no.1, 1992, pp. 79-103.
Kamareddine, F.:

A system at the cross-roads of functional and logic programming.

Science of Computer Programming 19, 1992, pp. 36.

Leermakers, R.; Augusteijn, L.; Kruseman Aretz, F.E.J.:

A functional LR parser.

Theoretical Computer Science 104, 1992, pp. 313-323.

Swart, H.C.M.; Nederpelt, R.P.:

Implication, A Survey of the Different Logical Anlyses of 'if ... then'.

Nieuw Archief voor wiskunde, vierde serie, 10, no. 1 en 2, Stichting Mathematisch Centrum,

Amsterdam, 1992, pp. 77-104.

Voermans, E.:

Pers as types, inductive types and types with laws.

In: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Workshops in Computing, Springer Verlag, 1992, pp. 274-291.
Abstracts
Vakpublicaties
Backhouse, R.C.:

Calculating the Warshall/Floyd path algorithm.

Computing Science Note 92/09, EUT, Eindhoven, 1992, pp. 14.
Backhouse, R.C.; Woude, J. van der:

Demonic operators and Monotype Factors.

Computing Science Note 92/11, EUT, Eindhoven, 1992, pp. 29.
Borghuis, V.A.J.:

Reasoning about the knowledge of others.

Think, Vol. 1(1), ITK, KU, Tilburg, 1992, pp. 6.
Eijnde, J.P.H.W.:

Conservative Fixpoint Functions on a Graph.

Computing Science Note (CSN) 92-05, 1992, pp. 27.
Eijnde, J.P.H.W.:

Program Derivation in Acyclic Graphs and Related Problems.

Computing Science Note (CSN) 92-04, 1992, pp. pp. 82.
Kamareddine, F.:

Set Theory and Nominalisation, Part I.

Computing Science Note 92/12, EUT, Eindhoven, 1992, pp. 25.
Kamareddine, F.:

Set Theory and Nominalisation, Part II.

Computing Science Note 92/13, EUT, Eindhoven, 1992, pp. 21.
Kamareddine, F.:

Non Well-foundedness and type freeness can unify the interpretation of functional application.

Computing Science Note 92/21, EUT, Eindhoven, 1992, pp. 16.
Kamareddine, F.:

A system at the cross-roads of functional and logic programming.

Computing Science Note 92/15, EUT, Eindhoven, 1992, pp. 36.
Kamareddine, F.:

Are types needed for Natural Language?

Computing Science Note 92/20, EUT, Eindhoven, 1992, pp. 32.
Kamareddine, F.; Klein, E.:

Nominalisation, predication and Type containment.

Computing Science Note 92/23, EUT. Eindhoven, 1992, pp. 40.
Kruseman Aretz, F.E.J.:

LALR(1) : LL(1) = LR(0) : LL(0)

Is er nog nieuws? (P. van Emde Boas, P.W. Hemker, W. Hoffman, P.J. van der Houwen en P.R. Pfluger (eds.), 1992, pp. 1-16.
Nederpelt, R.P.:

The fine-structure of lambda calculus.

Computing Science Note 92/07, EUT, Eindhoven, 1992, pp. 104.
Nederpelt, R.; Kamareddine, F.:

On stepwise explicit substitution.

Computing Science Note 92/08, EUT, Eindhoven, 1992, pp. 23.
Nederpelt, R.; Kamareddine, F.:

A useful lambda notation.

Computing Science Note 92/22, EUT, Eindhoven, 1992, pp. 17.
Nederpelt, R.; Kamareddine, F.:

A unified approach to Type Theory through a refined lambda-calculus.

Computing Science Note 92/18, EUT, Eindhoven, 1992, pp. 30.
Poll, E.:

A Programming Logic for Fw.

Computing Science Note 92/25, EUT, Eindhoven, 1992, pp. 15.
Watson, B.W.; Zwaan, G.:

A Taxonomy of Keyword Pattern Matching Algorithms.

Report CSN 92/27, EUT, Eindhoven, 1992, pp. 50.
1.5.

VF-code: TUE.INF.302.90.26

VF-programma: PARALLELLISME
Dissertaties
Berkel, C.H. van:

Handshake Circuits: An Intermediary between Communicating Processes and VLSI Type S.

Promotor: prof.dr. M. Rem.

Eindhoven, 1992, pp. 253. (III)

Loyens, L.D.J.C.:

A Design Method for Parallel Programs.

Promotoren: prof.dr. M. Rem, prof.dr. R.C. Backhouse. Co-promotor: prof.dr. P.A.J. Hilbers.

Eindhoven, 1992, pp. 117. (III)

Schoenmakers, L.A.M.:

Data Structures and Amortized Complexity.

Promotor: prof.dr. M. Rem. Co-promotor: dr. A. Kaldewaij.

Eindhoven, 1992, pp. 193. (I)

Schols, H.M.J.L.:

Delay-insensitive Communication.

Promotoren: prof.dr. M. Rem, prof. C.E. Molnar, Sc.D.

Eindhoven, 1992, pp. 289. (I)

Struik, P.:

Designing Parallel Programs of Parameterized Granularity.

Promotor: prof.dr. M. Rem. Co-promotor: dr. A. Kaldewaij.

Eindhoven, 1992, pp. 90. (I)

Wetenschappelijk Publicaties
Aarts, E.; Leeuwen, J. van; Rem, M.:

Parallel Computing.

Future Generation Computer Systems 8, 1992, pp. 267-268.
Baeten, J.C.M.; Vaandrager, F.W.:

An algebra for process creation.

Acta Inf. 29, 1992, pp. 303-334.
Baeten, J.C.M.; Bergstra, J.A.:

Process algebra with signals and conditions.

Programming and mathematical method, Proc. Summer School, Marktoberdorf 1990 M. Broy, (ed.), NATO ASI Series F 88, Springer Verlag, 1992, pp. 273-323.
Baeten, J.C.M.; Bergstra, J.A.:

The state operator in real time process algebra.

Real Time: Theory in Practice, Proc. REX Workshop, Mook 1991, J.W. de Bakker, C. Huizing, W.P. de Roever en G. Rozenberg, (eds.), Springer LNCS 600, 1992, pp. 107-123.
Baeten, J.C.M.; Bergstra, J.A.: Asynchronous communication in real space process algebra.

Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen 1992, J. Vytopil, (ed.), Springer LNCS 571, 1992, pp. 473-492.

Baeten, J.C.M.; Bergstra, J.A.:

Discrete time process algebra (extended abstract).

Proc. CONCUR'92, Stony Brook, NY, W.R. Cleaveland, (ed.), Springer LNCS 630, 1992, pp. 401-420.
Baeten, J.C.M.; Bergstra, J.A.; Smolka, S.A.:

Axiomatizing probabilistic processes: ACP with generative probabilities (extended abstract).

Proc. CONCUR'92, Stony Brook, NY, W.R. Cleaveland, (ed.), Springer LNCS 630, 1992, pp. 472-485.
Bakker, J.W. de; Huizing, C.; Roever, W.P. de; Rozenberg, G.; (eds).

Real-Time: Theory in Practice, Proc. REX Workshop, Mook 1991.

Springer Verlag, LNCS 600.
Boer, F. de; Hooman, J.J.M.:

The Real-Time Behaviour of Asynchronously Communicating Processes.

Proceedings Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, Vol. 571, Springer-Verlag, 1992, pp. 451-472.
Boer, F.S. de; Kok, J.N.; Palamidessi, C.; Rutten, J.J.M.M.:

From failure to succes: comparing a denotational and a declarative semantics for Horn Clause Logic.

Theoretical Computer Science, Vol. 101, 1992, pp. 239-263.
Boer, F.S. de; Klop, J.W.; Palamidessi, C.:

Asynchronous communication in process algebra.

Logic in Computer Science (LICS), Santa Cruz, California, 1992, pp. 137-147.
Boer, F.S. de; Palmidessi, C.:

On the semantics od concurrent constraint programming.

Proceedings of the Conference of the Association for Logic Programming, UK Branch, ALPUK92, London, England, Lecture Notes in Computer Science, 1992, pp. 145-173.
Boer, F.S. de; Palamidessi, C.:

A process algebra of concurent constraint programming.

Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP'92, 1992, pp. 106-120.
Cau, A.; Kuiper, R.; Roever, W.P. de:

Formalising Dijkstra's development strategy within Stark's formalism.

5th Refinement Workshop BCS-FACS, Londen, Workshops in Computing Series, Springer-Verlag, 1992, pp. 4-42.
Coenen, J.; Hooman. J.J.M.:

A compositional Semantics for Fault-Tolerant Real-Time Systems.

Proc. of the Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer LNCS 571, 1992, pp. 33-51.
Ebergen, J.C.; Peeters, A.M.G.:

The Modulo-N Counter: Design and Analysis of Delay-Insensitive Circuits.

Proceeding of second workshop on Designing Correct Circuits, Lyngby, Denemarken, J. Staunstrup, R. Sharp, (eds.), Elsevier Science Publishers B.V., North-Holland, 1992, pp. 27-46.
Gerth, R.; Kuiper, R.; Segers, J.:

Interface refinement in reactive systems.

CONCUR92, LNCS 630, 1992, pp. 77-94
Goltz, U.; Kuiper, R.; Penczek, W.:

Propositional temporal logics and equivalences.

CONCUR92, LNCS 630, 1992, pp. 222-236.
Hofstee, H.P.; Snepscheut, J.L.A.;, Lukkien, J.J.:

A distributed implementation of a task pool.

Notes in Computer Science 574, 1992, pp. 338-348.
Hooman, J.J.M.:

Compositional Verification of Real-Time Systems using Extended Hoare Triples.

Proceedings REX Workshop on Real-Time: Theory in Practice, Lecture Notes in Computer Science, Vol. 600, Springer-Verlag, 1992, pp. 252-290.
Hooman, J.J.M.:

A Compositional Method for the Top-Down Design of Real-Time Systems.

Proceedings Fourth Euromicro Workshop on Real-Time Systems, KWARD EDIEEE Computer Society Press, 1992, pp. 86-91.
Hooman, J.J.M.; Ramesh, S.; Roever, W.P. de:

A Compositional Axiomatization of State-charts.

Theoretical Computer Science, Vol. 101, 1992, pp. 289-335.

Hooman, J.J.M.; Roever, W.P. de:

An introduction to compositional methods for concurency and their application to real-time.

Sadhana, Academy Proceedings in Engineering Science, Vol. 17, Part 1, Indian Academy of Science, 1992, pp. 29-73.

Huizing, C.; Gerth, R.:

Semantics of reactive systems and abstract time.

Proceedings of the NFI/REX workshop on "Real Time: Theory in Practice", LNCS 600, Springer Verlag, New York, 1992, pp. 291-315.
Josephs, M.B.; Mak, R.H.; Udding, J.T.; Verhoeff, T.; Jantchev, J.T.:

High-Level Design of an Asynchronous Packet-Routing Chip.

Proceedings of the Second Workshop on Designing Correct Circuits, J. Staunstrup, R. Sharp, (eds.), Lyngby, Elsevier North-Holland, 1992, pp. 261-274.
Korst, M. van der; Peeters, A.; Schols, H.:

Design and Implementation of Asynchronous Circuits.

Proceedings of Workshop, Amsterdam, 10-14 november 1992, North Holland ,1992, pp. 60.
Lukkien, J.J.; Snepscheut, J.L.A. van de:

Predicate transformers for progress.

Formal Aspects of Computing 4, 1992, pp. 195-236.
Zhou, P.; Hooman, J.J.M.:

A Proof Theory for Asynchronously Communicating Real-Time Systems.

Proceedings of the 13th IEEE Real-Time Systems Symposium, IEEE Computer Society Press, 1992, pp. 177-186.
Zwiers, J.; Coenen, J.; Roever, W.P. de:

A Note on Compositional Refinement Workshop.

Proceedings of the 5th BCS-FACS Refinement Workshop, Workshops in Computing, Springer, 1992, pp. 342-366.
Abstracts
Coenen, J.:

Specifing Fault-Tolerant Programs in Deontic Logic (Abstract).

Proceedings of the Workshop on Logics for Distributed Systems.

Internal report GMD, Bonn, 1992, pp. 3-5.

Vakpublicaties
Baeten, J.C.M.:

The total order assumption.

Report CSN 92/14, EUT, Eindhoven; Proc. Workshop "What good is partial order", Sheffield; Hildesheimer Informatik Berichte 13/92, Universität Hildesheim; to appear in Proc. 1st North American Process Algebra Workshop, Port Jefferson, USA, 1992, pp. 1-11.
Baeten, J.C.M.; Bergstra, J.A.:

Asynchronous communication in real space process algebra.

Proc. Workshop on Concurrency, Båstad 1991, L. Augustsson, P. Dybjer, B. Nordström, K.V.S. Prasad en B. von Sydow, (eds.), Programming Methodology Group, Chalmers University, report 63, 1992, pp. 56-75.
Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.:

Decidability of bisimulation equivalence for processes generating context-free languages.

Prog. report P9210, UvA, 1992, to appear in JACM.
Baeten, J.C.M.; Bergstra, J.A.:

Real space process algebra.

Prog. report P9206, UvA, Amsterdam; report CSN 92/03, EUT, Eindhoven, 1992, to appear in FAC.

Baeten, J.C.M.; Bergstra, J.A.:

Discrete time process algebra.

Prog. report P9208, UvA, Amsterdam, report CSN 92/06 EUT, Eindhoven, 1992, pp. 45.

Baeten, J.C.M.; Bergstra, J.A.; Smolka, S.A.:

Axiomatizing probabilistic processes: ACP with generative probabilities.

Prog. report P9218, UvA, Amsterdam, report CSN 92/19, EUT, Eindhoven, 1992, pp. 36.
Blanco, J.:

Definability with the State Operator in Process Algebra.

Report P9221, UvA, Amsterdam, 1992, pp.27.
Codish, M.; Dams, D.; Yardeni, E.:

Bottum-up Abstract Interpretation of Logic Programs.

Computing Science Note 92/24, to appear in Theoretical Computer Science.
Gerth, R.; Kuiper, R.; Segers, J.:

Interface refinement.

Deliverable BRA project SPEC, 1992, pp. 1-22.
Goltz, U.; Kuiper, R.; Penczek, W.:

Propositional temporal logics and equivalences.

Deliverable BRA project SPEC, 1992, pp. 1-38.
Hooman, J.J.M.:

Top-Down Design of Embedded Real-Time Systems.

Deliverable D8.4.3a, ESPRIT-BRA project 3096 (SPEC), 1992, pp. 47.
Huizing, C.:

Comparison of Timed Reactive Systems.

Deliverable BRA project SPEC, pp. 14.
Huizing, C.; Gerth, R.:

Semantics of reactive systems in abstract time.

Technisch Rapport BRA project SPEC, 1992, pp. 291-314. (I)
Mauw, S.; Wijk, M. van; Winter, T.:

Syntax and semantics of synchronous interworkings.

Philips IST report RWB-508-RE-92436, Eindhoven, 1992, pp. 47.
Veltkamp, J.P.:

Rapport DIPPER-project PCA 4038.