Research Output

Filter
Report
2000

Termination in timed process algebra

Baeten, J. C. M. & Reniers, M. A., 2000, Eindhoven: Technische Universiteit Eindhoven. 36 p. (Computing science reports; vol. 0013)

Research output: Book/ReportReportAcademic

Open Access
File
44 Downloads (Pure)

The parallel composition of uniform processes with data

Groote, J. F. & Wamel, van, J. J., 2000, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computing science reports; vol. 0006)

Research output: Book/ReportReportAcademic

Open Access
File
81 Downloads (Pure)

Topics in Information Hiding: spread spectrum techniques, discrete cosine transformations and fingerprinting

Vink, de, E. P. & Wulp, van der, P. J., 2000, onbekend: Formele Methoden.

Research output: Book/ReportReportAcademic

Variable binding operators in transition system specifications

Middelburg, C. A., 2000, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computing science reports; vol. 0007)

Research output: Book/ReportReportAcademic

Open Access
File
99 Downloads (Pure)
1999

An algorithm for the asynchronous write-all problem based on process collision

Groote, J. F., Hesselink, W. H., Mauw, S. & Vermeulen, R., 1999, Eindhoven: Technische Universiteit Eindhoven. 11 p. (Computing science reports; vol. 9915)

Research output: Book/ReportReportAcademic

Open Access
File
125 Downloads (Pure)

Partial-order process algebra (and its relation to Petri nets)

Baeten, J. C. M. & Basten, T., 1999, Eindhoven: Technische Universiteit Eindhoven. 79 p. (Computing science reports; vol. 9918)

Research output: Book/ReportReportAcademic

Open Access
File
192 Downloads (Pure)

Process algebra with timing : real time and discrete time

Baeten, J. C. M. & Middelburg, C. A., 1999, Eindhoven: Technische Universiteit Eindhoven. 50 p. (Computing science reports; vol. 9911)

Research output: Book/ReportReportAcademic

Open Access
File
177 Downloads (Pure)

Process algebra with timing : real time and discrete time

Baeten, J. C. M. & Middelburg, C. A., 1999, Utrecht: Utrecht University. 53 p. (Logic Group Preprint Series; vol. 198)

Research output: Book/ReportReportPopular

Open Access
File
79 Downloads (Pure)

Real time process algebra with time-dependent conditions

Baeten, J. C. M. & Middelburg, C. A., 1999, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computing science reports; vol. 9919)

Research output: Book/ReportReportAcademic

Open Access
File
65 Downloads (Pure)

Structured operational semantics of chi

Bos, V. & Kleijn, J. J. T., 1999, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computing science reports; vol. 9901)

Research output: Book/ReportReportAcademic

Open Access
File
27 Downloads (Pure)

The analysis of a conveyor belt system : a case study in hybrid systems and timed muCRL

Willemse, T. A. C., 1999, Eindhoven: Technische Universiteit Eindhoven. 44 p. (Computing science reports; vol. 9910)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)

Why men (and octopuses) cannot juggle a four ball cascade

Engels, A. G. & Mauw, S., 1999, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computing science reports; vol. 9914)

Research output: Book/ReportReportAcademic

Open Access
File
88 Downloads (Pure)
1998

A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data

Groote, J. F. & Luttik, S. P., 1998, Amsterdam: Centrum voor Wiskunde en Informatica. 12 p. (CWI report. SEN-R : software engineering; vol. 9830)

Research output: Book/ReportReportAcademic

Basic theorems for parallel processes in timed µCRL

Groote, J. F. & Wamel, van, J. J., 1998, Amsterdam: Centrum voor Wiskunde en Informatica. 30 p. (CWI report. SEN-R : software engineering; vol. 9808)

Research output: Book/ReportReportAcademic

Checking verifications of protocols and distributed systems by computer

Groote, J. F., Monin, F. G. & Pol, van de, J. C., 1998, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computing science reports; vol. 9813)

Research output: Book/ReportReportAcademic

Open Access
File
15 Citations (Scopus)
127 Downloads (Pure)

Deadlock behaviour in split and ST bisimulation semantics

Baeten, J. C. M. & Bergstra, J. A., 1998, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computing science reports; vol. 9803)

Research output: Book/ReportReportAcademic

Open Access
File
72 Downloads (Pure)

Flat fragments of CTL and CTL* : separating the expressive and distinguishing powers

Dams, D. R., 1998, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science reports; vol. 9805)

Research output: Book/ReportReportAcademic

Open Access
File
95 Downloads (Pure)

Undecidability and completeness results for process algebra with alternative quantification over data

Groote, J. F. & Luttik, S. P., 1998, Amsterdam: Centrum voor Wiskunde en Informatica. 21 p. (CWI report. SEN-R : software engineering; vol. 9806)

Research output: Book/ReportReportAcademic

Verification of temporal properties of processes in a setting with data

Groote, J. F. & Mateescu, R., 1998, Amsterdam: Centrum voor Wiskunde en Informatica. 18 p. (CWI Report; vol. SEN-R9804)

Research output: Book/ReportReportAcademic

38 Citations (Scopus)

Waitfree distributed memory management by Create, and Read Until Deletion (CRUD)

Hesselink, W. H. & Groote, J. F., 1998, Amsterdam: Centrum voor Wiskunde en Informatica. 17 p. (CWI report. SEN-R : software engineering; vol. 9811)

Research output: Book/ReportReportAcademic

1997

$\lambda {\rm P}-$ : a pure type system for first order logic with automated theorum proving

Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computing science reports; vol. 9715)

Research output: Book/ReportReportAcademic

Open Access
File
55 Downloads (Pure)

A complete equational axiomatization for MPA with string iteration

Aceto, L. & Groote, J. F., 1997, Amsterdam: Centrum voor Wiskunde en Informatica. 30 p. (CWI report. SEN-R : software engineering; vol. 9708)

Research output: Book/ReportReportAcademic

Open Access
File
63 Downloads (Pure)

A computer checked algebraic verification of a distributed summation algorithm

Groote, J. F., Monin, F. G. & Springintveld, J., 1997, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computing science reports; vol. 9714)

Research output: Book/ReportReportAcademic

Open Access
File
105 Downloads (Pure)

A discretisation method for asynchronous timed systems

Knaack, B. T. & Gerth, R. T., 1997, Eindhoven: Technische Universiteit Eindhoven. (Computing science reports; vol. 9701)

Research output: Book/ReportReportAcademic

A hierarchy of communication models for Message Sequence Charts

Engels, A. G., Mauw, S. & Reniers, M. A., 1997, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computing science reports; vol. 9711)

Research output: Book/ReportReportAcademic

Open Access
File
125 Downloads (Pure)

A note on MSC and data

Feijs, L. M. G. & Mauw, S., 1997, s.n. 4 p. (Experts meeting SG10, Lutterworth TDL 19, ITU-TS)

Research output: Book/ReportReportAcademic

Basic conditional process algebra

Blanco, J. O. & Deursen, van, A., 1997, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computing science reports; vol. 9703)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Bounded stacks, bags and queues

Baeten, J. C. M. & Bergstra, J. A., 1997, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computing science reports; vol. 9707)

Research output: Book/ReportReportAcademic

Open Access
File
67 Downloads (Pure)

Discrete time process algebra : absolute time, relative time and parametric time

Baeten, J. C. M. & Bergstra, J. A., 1997, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science reports; vol. 9704)

Research output: Book/ReportReportAcademic

Open Access
File
11 Citations (Scopus)
68 Downloads (Pure)

Discrete-time process algebra with empty process

Baeten, J. C. M. & Vereijken, J. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 51 p. (Computing science reports; vol. 9705)

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)

Feasibility of model checking in the context of business processes using amber and spin

Janssen, W., Mauw, S. & Springintveld, J., 1997, Telematica Research Centre. 14 p. (Testbed/wp4/n011/v001)

Research output: Book/ReportReportAcademic

ITU-TS Recommendation Z.120: Message Sequence Chart (MSC)

Mauw, S., 1997, Geneva: ITU-TS. 74 p.

Research output: Book/ReportReportAcademic

Overzichtsrapport DenK en integratie maart 1996 - maart 1997

Borghuis, V. A. J., 1997, Eindhoven: Faculteit Wiskunde en Informatica. 47 p.

Research output: Book/ReportReportAcademic

The syntax and semantics of timed µCRL

Groote, J. F., 1997, Amsterdam: Centrum voor Wiskunde en Informatica. 42 p. (CWI report. SEN-R : software engineering; vol. 9709)

Research output: Book/ReportReportAcademic

Tools for the construction of correct programs : an overview

Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 33 p. (Computing science reports; vol. 9706)

Research output: Book/ReportReportAcademic

Open Access
File
42 Downloads (Pure)
1996

A correspondence between Nuprl and the Ramified Theory of Types

Kamareddine, F. & Laan, T. D. L., 1996, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computing science reports; vol. 9612)

Research output: Book/ReportReportAcademic

Open Access
File
52 Downloads (Pure)

A Correspondence between Nuprl and the Ramified Theory of Types

Kamareddine, F. & Laan, T. D. L., 1996, Glasgow: University of Glasgow. 12 p. (Technical Report; vol. Tr-1996-18)

Research output: Book/ReportReportAcademic

Algebraic specification and simulation of lazy functional programs in a concurrent environment

Feijs, L. M. G., 1996, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computing science reports; vol. 9620)

Research output: Book/ReportReportAcademic

Open Access
File
47 Downloads (Pure)

Chronicle

Ahn, R. M. C. & Borghuis, V. A. J., 1996, Eindhoven: Technische Universiteit Eindhoven. 15 p. (DenK Report; vol. 96/23)

Research output: Book/ReportReportAcademic

Completeness in discrete-time process algebra

Reniers, M. A. & Vereijken, J. J., 1996, Eindhoven: Technische Universiteit Eindhoven. 139 p. (Computing science reports; vol. 9615)

Research output: Book/ReportReportAcademic

Open Access
File
56 Downloads (Pure)

Evaluation of the SDT Validator

Reniers, M. A., 1996, Eindhoven: Technische Universiteit Eindhoven. 40 p. (IST report RWB-510-ir-95048)

Research output: Book/ReportReportAcademic

Overzichtsrapport DenK en integratie maart 1995 - maart 1996

Borghuis, V. A. J., 1996, Eindhoven/Tilburg: SOBU. 40 p. (DenK Report; vol. 96/25)

Research output: Book/ReportReportAcademic

Predicate calculus : concepts and misconceptions

Bijlsma, A. & Nederpelt, R. P., 1996, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science reports; vol. 9621)

Research output: Book/ReportReportAcademic

Open Access
File
246 Downloads (Pure)

Priorean tense logics in modal pure type systems

Borghuis, V. A. J., 1996, Eindhoven: Technische Universiteit Eindhoven. 61 p. (Computing science reports; vol. 9613)

Research output: Book/ReportReportAcademic

Open Access
File
71 Downloads (Pure)

Static semantics of message sequence charts

Reniers, M. A., 1996, Eindhoven: Technische Universiteit Eindhoven. 71 p. (Computing science reports; vol. 9619)

Research output: Book/ReportReportAcademic

Open Access
File
65 Downloads (Pure)

The I^2 C-bus in discrete-time process algebra

Bos, S. H. J. & Reniers, M. A., 1996, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computing science reports; vol. 9614)

Research output: Book/ReportReportAcademic

Open Access
File
74 Downloads (Pure)
1995

A taxonomy of sublinear multiple keyword pattern matching algorithms

Watson, B. W. & Zwaan, G., 1995, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computing science reports; vol. 9513)

Research output: Book/ReportReportAcademic

Open Access
File
161 Downloads (Pure)

Concrete process algebra

Baeten, J. C. M. & Verhoef, C., 1995, Eindhoven: Technische Universiteit Eindhoven. 134 p. (Computing science reports; vol. 9503)

Research output: Book/ReportReportAcademic

Open Access
File
314 Downloads (Pure)

De integratie binnen het DenK-programma : overzichtsrapport projekt DK4

Borghuis, V. A. J., 1995, Eindhoven/Tilburg: SOBU. 61 p. (DenK Report; vol. 95/09)

Research output: Book/ReportReportAcademic

Discrete time process algebra with abstraction

Baeten, J. C. M. & Bergstra, J. A., 1995, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computing science reports; vol. 9519)

Research output: Book/ReportReportAcademic

Open Access
File
6 Citations (Scopus)
83 Downloads (Pure)