Research Output

Filter
Report
1973

Numerical calculations in a problem with heat conduction and heat production

Geldrop - van Eijk, van, H. P. J., van Ginneken, C. J. J. M. & Gelder, van, D. W., 1973, Eindhoven: Technische Hogeschool Eindhoven. (EUT report. WSK, Dept. of Mathematics and Computing Science; vol. 73-WSK-05)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)
1982

Leren over informatietechnologie : noodzaak voor iedereen [Rapport van de Adviescommissie voor Onderwijs en Informatietechnologie]

Ouwerkerk-Dijkers, van, M. P., 1982, Den Haag: Staatsuitgeverij.

Research output: Book/ReportReportAcademic

1985

Delay-insensitive directed trace structures satisfy the foam rubber wrapper postulate

Verhoeff, T. & Schols, H. M. J. L., 1985, Eindhoven: Technische Hogeschool Eindhoven. 29 p. (Computing science notes; vol. 8504)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)
1986

Nondeterminism and divergence created by concealment in CSP

Verhoeff, T., 1986, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computing science notes; vol. 8606)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)

Some reflections on the implementation of trace structures

Hoogerwoord, R. R., 1986, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 8603)

Research output: Book/ReportReportAcademic

Open Access
File
26 Downloads (Pure)
1987

Delay-insensitive codes : an overview

Verhoeff, T., 1987, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computing science notes; vol. 8704)

Research output: Book/ReportReportAcademic

Open Access
File
224 Downloads (Pure)

Enforcing nondeterminism via linear time temporal logic specifications

Kuiper, R., 1987, Eindhoven: Technische Universiteit Eindhoven. 9 p. (Computing science notes; vol. 8705)

Research output: Book/ReportReportAcademic

Open Access
File
35 Downloads (Pure)

Three families of maximally nondeterministic automata

Verhoeff, T., 1987, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computing science notes; vol. 8710)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)
1988

An introduction to the category-theoretic solution of recursive domain equations

Bos, R. & Hemerik, C., 1988, Eindhoven: Technische Universiteit Eindhoven. 47 p. (Computing science notes; vol. 8815)

Research output: Book/ReportReportAcademic

Open Access
File
163 Downloads (Pure)

A parallel program that generates the Möbius sequence

Verhoeff, T., 1988, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science notes; vol. 8801)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Bottum-up tree acceptors

Hemerik, C. & Katoen, J. P., 1988, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computing science notes; vol. 8816)

Research output: Book/ReportReportAcademic

Open Access
File
46 Downloads (Pure)

Settling a question about Pythagorean triples

Verhoeff, T., 1988, Eindhoven: Technische Universiteit Eindhoven. 11 p. (Computing science notes; vol. 8803)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)
1989

Characterizations of delay-insensitive communication protocols

Verhoeff, T., 1989, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computing science notes; vol. 8906)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Some category theoretical properties related to a model for a polymorphic lambda-calculus

Eikelder, ten, H. M. M. & Hemerik, C., 1989, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science notes; vol. 8903)

Research output: Book/ReportReportAcademic

Open Access
File
36 Downloads (Pure)
1991

A compositional proof system for real-time systems based on explicit clock temporal logic : soundness and completeness

Zhou, P., Hooman, J. J. M. & Kuiper, R., 1991, Eindhoven: Technische Universiteit Eindhoven. 52 p. (Computing science notes; vol. 9125)

Research output: Book/ReportReportAcademic

Open Access
File
43 Downloads (Pure)

Implication : a survey of the different logical analyses of "if..., then..."

Swart, de, H. C. M. & Nederpelt, R. P., 1991, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science notes; vol. 9102)

Research output: Book/ReportReportAcademic

Open Access
File
67 Downloads (Pure)
1992

A taxonomy of keyword pattern matching algorithms

Watson, B. W. & Zwaan, G., 1992, Eindhoven: Technische Universiteit Eindhoven. 50 p. (Computing science notes; vol. 9227)

Research output: Book/ReportReportAcademic

Open Access
File
439 Downloads (Pure)

A unified approach to type theory through a refined lambda-calculus

Nederpelt, R. P. & Kamareddine, F., 1992, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computing science notes; vol. 9218)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)

A useful lambda notation

Nederpelt, R. P. & Kamareddine, F., 1992, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science notes; vol. 9222)

Research output: Book/ReportReportAcademic

Open Access
File
102 Downloads (Pure)

Axiomatizing probabilistic processes : ACP with generative probabilities

Baeten, J. C. M., Bergstra, J. A. & Smolka, S. A., 1992, Eindhoven: Technische Universiteit Eindhoven. 36 p. (Computing science notes; vol. 9219)

Research output: Book/ReportReportAcademic

Open Access
File
10 Citations (Scopus)
69 Downloads (Pure)

Discrete time process algebra

Baeten, J. C. M. & Bergstra, J. A., 1992, 1st version ed. Eindhoven: Technische Universiteit Eindhoven. 41 p. (Computing science notes; vol. 9206)

Research output: Book/ReportReportAcademic

Open Access
File
12 Citations (Scopus)
61 Downloads (Pure)

On stepwise explicit substitution

Nederpelt, R. P. & Kamareddine, F., 1992, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computing science notes; vol. 9208)

Research output: Book/ReportReportAcademic

Open Access
File
107 Downloads (Pure)

Real space process algebra

Baeten, J. C. M. & Bergstra, J. A., 1992, Eindhoven: Technische Universiteit Eindhoven. 42 p. (Computing science notes; vol. 9203)

Research output: Book/ReportReportAcademic

Open Access
File
71 Downloads (Pure)

The fine-structure of lambda calculus

Nederpelt, R. P., 1992, Eindhoven: Technische Universiteit Eindhoven. 104 p. (Computing science notes; vol. 9207)

Research output: Book/ReportReportAcademic

Open Access
File
55 Downloads (Pure)

The total order assumption

Baeten, J. C. M., 1992, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computing science notes; vol. 9214)

Research output: Book/ReportReportAcademic

Open Access
File
43 Downloads (Pure)
1993

A congruence theorem for structured operational semantics with predicates

Baeten, J. C. M. & Verhoef, C., 1993, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computing science notes; vol. 9305)

Research output: Book/ReportReportAcademic

Open Access
File
97 Downloads (Pure)

A continuous version of the prisoner's dilemma

Verhoeff, T., 1993, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science notes; vol. 9302)

Research output: Book/ReportReportAcademic

Open Access
File
116 Downloads (Pure)

A precise clock synchronization protocol

Luit, E. J. & Martin, J. M. M., 1993, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computing science notes; vol. 9345)

Research output: Book/ReportReportAcademic

Open Access
File
54 Downloads (Pure)

A real-time process logic

Baeten, J. C. M., Bergstra, J. A. & Bol, R. N., 1993, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computing science notes; vol. 9315)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)

A semantics for a fine lambda-calculus with de Bruijn indices

Kamareddine, F. & Nederpelt, R. P., 1993, Eindhoven: Technische Universiteit Eindhoven. 49 p. (Computing science notes; vol. 9328)

Research output: Book/ReportReportAcademic

Open Access
File
223 Downloads (Pure)

Non interleaving process algebra

Baeten, J. C. M. & Bergstra, J. A., 1993, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science notes; vol. 9336)

Research output: Book/ReportReportAcademic

Open Access
File
5 Citations (Scopus)
66 Downloads (Pure)

On sequential composition, action prefixes and process prefix

Baeten, J. C. M. & Bergstra, J. A., 1993, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computing science notes; vol. 9314)

Research output: Book/ReportReportAcademic

Open Access
File
121 Downloads (Pure)

Quicksort for linked lists

Verhoeff, T., 1993, Eindhoven: Technische Universiteit Eindhoven. 8 p. (Computing science notes; vol. 9303)

Research output: Book/ReportReportAcademic

Open Access
File
47 Downloads (Pure)

Real time process algebra with infinitesimals

Baeten, J. C. M. & Bergstra, J. A., 1993, Eindhoven: Technische Universiteit Eindhoven. 39 p. (Computing science notes; vol. 9334)

Research output: Book/ReportReportAcademic

Open Access
File
85 Downloads (Pure)
1994

An algebraic semantics of basic message sequence charts

Mauw, S. & Reniers, M. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 9 p. (Computing science notes; vol. 9417)

Research output: Book/ReportReportAcademic

Open Access
File
77 Citations (Scopus)
108 Downloads (Pure)

An algebraic semantics of message sequence charts

Mauw, S. & Reniers, M. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 43 p. (Computing science notes; vol. 9423)

Research output: Book/ReportReportAcademic

Open Access
File
52 Downloads (Pure)

A partial order approach to branching time logic model checking

Gerth, R. T., Kuiper, R., Peled, D. & Penczek, W., 1994, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computing science reports; vol. 9453)

Research output: Book/ReportReportAcademic

Open Access
File
124 Downloads (Pure)

Beyond Beta-reduction in Church's lambda-arrow

Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9420)

Research output: Book/ReportReportAcademic

Open Access
File
47 Downloads (Pure)

Canonical typing and pi-conversion

Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 51 p. (Computing science notes; vol. 9402)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)

Canonical typing and pi-conversion in the Barendregt cube

Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computing science reports; vol. 9436)

Research output: Book/ReportReportAcademic

Open Access
File
64 Downloads (Pure)

Delayed choice : an operator for joining Message Sequence Charts

Baeten, J. C. M. & Mauw, S., 1994, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computing science reports; vol. 9435)

Research output: Book/ReportReportAcademic

Open Access
File
83 Downloads (Pure)

Graph isomorphism models for non interleaving process algebra

Baeten, J. C. M. & Bergstra, J. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computing science notes; vol. 9404)

Research output: Book/ReportReportAcademic

Open Access
File
72 Downloads (Pure)

On Pi-conversion in type theory

Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computing science reports; vol. 9447)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

On the foundations of functional programming : a programmer's point of view

Hoogerwoord, R. R., 1994, Eindhoven: Technische Universiteit Eindhoven. 54 p. (Computing science notes; vol. 9426)

Research output: Book/ReportReportAcademic

Open Access
File
70 Downloads (Pure)

Process algebra with feedback

Baeten, J. C. M., Bergstra, J. A. & Stefanescu, G., 1994, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9430)

Research output: Book/ReportReportAcademic

Open Access
File
51 Downloads (Pure)

Process algebra with partial choice

Baeten, J. C. M. & Bergstra, J. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computing science notes; vol. 9409)

Research output: Book/ReportReportAcademic

Open Access
File
74 Downloads (Pure)

Process algebra with propositional signals

Baeten, J. C. M. & Bergstra, J. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computing science reports; vol. 9449)

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)

Refining reduction in the lambda calculus

Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computing science notes; vol. 9418)

Research output: Book/ReportReportAcademic

Open Access
File
121 Downloads (Pure)

The Barendregt cube with definitions and generalised reduction

Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 37 p. (Computing science reports; vol. 9434)

Research output: Book/ReportReportAcademic

Open Access
File
146 Downloads (Pure)

The lambda-cube with classes of terms modulo conversion

Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computing science reports; vol. 9446)

Research output: Book/ReportReportAcademic

Open Access
File
45 Downloads (Pure)