Theory of Computer Science

Publications


Selected Books

  • K.M.M. de Leeuw, J.A. Bergstra (Eds.)
    The History of Information Security
    Elsevier Science, 2007
    ISBN 978 0 444 51608 4

  • Terese
    Term Rewriting Systems
    Cambridge Tracts in Theoretical Computer Science, vol. 55
    Cambridge University Press, 2003
    ISBN 0 521 39115 6

  • I. Bethke, A. Ponse
    Programma-Algebra, een Inleiding tot de Programmatuur
    Vossiuspers UvA, Amsterdam, The Netherlands, 2003
    ISBN 90 5629 279 X

  • J.A. Bergstra, A. Ponse, S.A. Smolka (Eds.)
    Handbook of Process Algebra
    Elsevier Science, Amsterdam, The Netherlands, 2001
    ISBN 0 444 82830 3

  • S. Mauw, G.J. Veltink (Eds.)
    Algebraic Specification of Communication Protocols
    Cambridge Tracts in Theoretical Computer Science, vol. 36
    Cambridge University Press, 1993
    ISBN 0 521 41883 6

  • J.C.M. Baeten, W.P. Weijland
    Process Algebra
    Cambridge Tracts in Theoretical Computer Science, vol. 18
    Cambridge University Press, 1990
    ISBN 0 521 40043 0

  • J.A. Bergstra, J. Heering, P. Klint (Eds.)
    Algebraic Specification
    Addison-Wesley, 1989
    ISBN 0 201 41635 2

  • J.C.M. Baeten
    Procesalgebra
    Kluwer B.V., Deventer, The Netherlands, 1986
    ISBN 90 267 1110 7


Selected Articles

  • J. Brunekreef, B. Diertens
    Towards a User-controlled Software Renovation Factory
    Science of Computer Programming, vol. 45, no. 2-3, pp. 175-191, 2002
    Online

  • J.A. Bergstra, A. Ponse
    Register-machine based processes
    Journal of the ACM, vol. 48, no. 6, pp. 1207-1241, 2001

  • M.G.J. van den Brand, M.P.A. Sellink, C. Verhoef
    Generation of components for software renovation factories from context-free grammars
    Science of Computer Programming, vol. 36, no. 2-3, pp. 209-266, 2000

  • J.A. Bergstra, P. Klint
    The discrete time toolbus - a software coordination architecture
    Science of Computer Programming, vol. 31, no. , pp. 205-229, 1998

  • J.C.M. Baeten, J.A. Bergstra
    Discrete time process algebra
    Formal aspects of computing, vol. 8, no. , pp. 286-305, 1996


Electronic Reports


Electronic Reports (PRG)

  • J.A. Bergstra, C.A. Middelburg
    Autosolvability of Halting Problem Instances for Instruction Sequences
    report PRG0914, November 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Functional Units for Natural Numbers
    report PRG0913, November 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Instruction Sequence Processing Operators
    report PRG0912, October 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Partial Komori Fields and Imperative Komori Fields
    report PRG0911, September 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Indirect Jumps Improve Instruction Sequence Performance
    report PRG0910, September 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Arithmetical Meadows
    report PRG0909, September 2009
    PostScript (gzipped), PDF

  • B. Diertens
    Software Engineering with Process Algebra: Modelling Client / Server Architecures
    report PRG0908, August 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Inversive Meadows and Divisive Meadows
    report PRG0907, July 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Instruction Sequence Notations with Probabilistic Instructions
    report PRG0906, June 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    A Protocol for Instruction Stream Processing
    report PRG0905, May 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    A Process Calculus with Finitary Comprehended Terms
    report PRG0904, March 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Transmission Protocols for Instruction Streams
    report PRG0903, February 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Meadow Enriched ACP Process Algebras
    report PRG0902, January 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Timed Tuplix Calculus and the Wesseling and van den Berg Equation
    report PRG0901, January 2009
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Instruction Sequences for the Production of Processes
    report PRG0814, November 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    On the Expressiveness of Single-Pass Instruction Sequences
    report PRG0813, October 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Instruction Sequences and Non-uniform Complexity Theory
    report PRG0812, September 2008
    PostScript (gzipped), PDF

  • D. Staudt
    A Case Study in Software Engineering with PSF: A Domotics Application
    report PRG0811, August 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Thread Algebra for Poly-Threading
    report PRG0810, June 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Data Linkage Dynamics with Shedding
    report PRG0809, June 2008
    PostScript (gzipped), PDF

  • B. Diertens
    A Process Algebra Software Engineering Environment
    report PRG0808, June 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, S. Nolst Trenite, M.B. van der Zwaag
    Tuplix Calculus Specifications of Financial Transfer Networks
    report PRG0807, May 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
    report PRG0806, May 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, S. Nolst Trenite, M.B. van der Zwaag
    UvA Budget Allocatie Model
    report PRG0805, March 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Thread Algebra for Sequential Poly-Threading
    report PRG0804, March 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Thread Extraction for Polyadic Instruction Sequences
    report PRG0803, February 2008
    PostScript (gzipped), PDF

  • A. Barros, T. Hou
    A Constructive Version of AIP Revisited
    report PRG0802, January 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Programming an Interpreter Using Molecular Dynamics
    report PRG0801, January 2008
    PostScript (gzipped), PDF

  • J.A. Bergstra, A. Ponse, M.B. van der Zwaag
    Tuplix Calculus
    report PRG0713, December 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, S. Nolst Trenite, M.B. van der Zwaag
    Towards a Formalization of Budgets
    report PRG0712, December 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Program Algebra with a Jump-Shift Instruction
    report PRG0711, December 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Instruction Sequences with Dynamically Instantiated Instructions
    report PRG0710, November 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Instruction Sequences with Indirect Jumps
    report PRG0709, November 2007
    PostScript (gzipped), PDF

  • B. Diertens
    Software (Re-)Engineering with PSF III: an IDE for PSF
    report PRG0708, October 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    An Interface Group for Process Components
    report PRG0707, October 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, Y. Hirschfeld, J.V. Tucker
    Skew Meadows
    report PRG0706, September 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, Y. Hirschfeld, J.V. Tucker
    Meadows
    report PRG0705, September 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Machine Structure Oriented Control Code Logic (Extended Version)
    report PRG0704, September 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    On the Operating Unit Size of Load/Store Architectures
    report PRG0703, August 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, A. Ponse
    Interface Groups and Financial Transfer Architectures
    report PRG0702, April 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, I. Bethke, M. Burgess
    A Process Algebra Based Framework for Promise Theory
    report PRG0701, March 2007
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Parallel Processes with Implicit Computational Capital
    report PRG0610, December 2006
    PostScript (gzipped), PDF

  • B. Diertens
    Software (Re-)Engineering with PSF II: from architecture to implementation
    report PRG0609, November 2006
    PostScript (gzipped), PDF

  • A. Ponse, M.B. van der Zwaag
    Risk Assessment for One-Counter Threads
    report PRG0608, October 2006
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Synchronous Cooperation for Explicit Multi-Threading
    report PRG0607, September 2006
    PostScript (gzipped), PDF

  • J.A. Bergstra, M. Burgess
    Local and Global Trust Based on the Concept of Promises
    report PRG0606, September 2006
    PostScript (gzipped), PDF

  • J.A. Bergstra, J.V. Tucker
    Division Safe Calculation in Totalised Fields
    report PRG0605, September 2006
    PostScript (gzipped), PDF

  • J.A. Bergstra, A. Ponse
    Projection Semantics for Rigid Loops
    report PRG0604, September 2006
    PostScript (gzipped), PDF

  • J.A. Bergstra, I. Bethke
    Predictable and Reliable Program Code: Virtual Machine-based Projection Semantics (submitted for inclusion in the Handbook of Network and Systems Administration)
    report PRG0603, September 2006
    PostScript (gzipped), PDF

  • J.A. Bergstra, A. Ponse
    Program Algebra with Repeat Instruction
    report PRG0602, June 2006
    PostScript (gzipped), PDF

  • J.A. Bergstra, A. Ponse
    Interface Groups for Analytic Execution Architectures
    report PRG0601, May 2006
    PostScript (gzipped), PDF

  • B. Diertens
    Software (Re-)Engineering with PSF
    report PRG0505, October 2005
    PostScript (gzipped), PDF

  • P.H. Rodenburg
    Piecewise Initial Algebra Semantics
    report PRG0504, September 2005
    doc

  • T.D. Vu
    Metric Denotational Semantics for BPPA
    report PRG0503, July 2005
    PostScript (gzipped), PDF

  • J.A. Bergstra, I. Bethke, A. Ponse
    Decision Problems for Pushdown Threads
    report PRG0502, June 2005
    PostScript (gzipped), PDF

  • J.A. Bergstra, A. Ponse
    A Bypass of Cohen's Impossibility Result
    report PRG0501, January 2005
    PostScript (gzipped), PDF

  • J.A. Bergstra, I. Bethke
    An Upper Bound for the Equational Specification of Finite State Services
    report PRG0405, September 2004
    PostScript (gzipped), PDF

  • J.A. Bergstra, C.A. Middelburg
    Thread Algebra for Strategic Interleaving
    report PRG0404, November 2004
    PostScript (gzipped), PDF

  • B. Diertens
    A Compiler-projection from PGLEc.MSPio to Parrot
    report PRG0403, October 2004
    PostScript (gzipped), PDF

  • J.A. Bergstra, I. Bethke
    Linear Projective Program Syntax
    report PRG0402, September 2004
    PostScript (gzipped), PDF

  • B. Diertens
    Molecular Scripting Primitives
    report PRG0401, June 2004
    PostScript (gzipped), PDF

  • B. Diertens
    A Toolset for PGA
    report PRG0302, October 2003
    PostScript (gzipped), PDF

  • J.A. Bergstra, P. Walters
    Projection semantics for multi-file programs
    report PRG0301, May 2003
    PostScript (gzipped), PDF

  • I. Bethke, P. Walters
    Molecule-oriented Java Programs for Cyclic Sequences
    report PRG0201, November 2002
    PostScript (gzipped), PDF


Technical Reports (PRG)

  • B. Diertens
    Generation of Animations for Simulation of Process Algebra Specifications
    report P0003, 2000
    .ps.gz Abstract

  • J.A. Bergstra, I. Bethke, M.E. Loots
    A First Course on C Program Reading
    report P0002, 2000
    .ps.gz Abstract

  • J.A. Bergstra, I. Bethke, A. Ponse
    Basic Multi-Competence Programming
    report P0001, 2000
    .ps.gz Abstract

  • J.A. Bergstra, M.E. Loots
    Software mechanics for Java multi-threading
    report P9906, 1999
    .ps.gz Abstract

  • M.P.A. Sellink, C. Verhoef
    Towards Automated Modification of Legacy Assets
    report P9905, 1999
    .ps.gz Abstract

  • M.P.A. Sellink, C. Verhoef
    Scaffolding for Software Renovation
    report P9904, 1999
    .ps.gz Abstract

  • René Krikhaar, André Postma, M.P.A. Sellink, Marc Stroucken, C. Verhoef
    A Two-phase Process for Software Architecture Improvement
    report P9903, 1999
    .ps.gz Abstract

  • A. van Deursen, P. Klint, C. Verhoef
    Research Issues in the Renovation of Legacy Systems
    report P9902, 1999
    .ps.gz Abstract

  • M.P.A. Sellink, C. Verhoef
    Generation of Software Renovation Factories from Compilers
    report P9901, 1999
    .ps.gz Abstract

  • J.A. Bergstra, M.E. Loots
    Program Algebra for Component Code
    report P9811, 1998
    Abstract

  • M.P.A. Sellink, H.M. Sneed, C. Verhoef
    Restructuring of cobol/cics Legacy Systems
    report P9810, 1998
    .ps.gz Abstract

  • B. Wedemeijer
    Introduction & Basic Tooling for Casl using asf+sdf
    report P9809, 1998
    .ps.gz Abstract

  • J.A. Bergstra, A. Ponse
    Two Recursive Generalizations of Iteration in Process Algebra
    report P9808, 1998
    .ps.gz Abstract

  • M.P.A. Sellink, C. Verhoef
    An Architecture for Software Maintenance
    report P9807, 1998
    .ps.gz Abstract

  • M. B. van der Zwaag
    Some Verifications in Process Algebra with Iota
    report P9806, 1998
    .ps.gz Abstract

  • M.P.A. Sellink, C. Verhoef
    Development, Assessment, and Reengineering of Language Descriptions
    report P9805, 1998
    .ps.gz Abstract

  • M.P.A. Sellink, C. Verhoef
    Native Patterns
    report P9804, 1998
    .ps.gz Abstract

  • J.J. Brunekreef
    Annotated Algebraic Specification of the Syntax and Semantics of the Programming Language Alma-0
    report P9803, 1998
    .ps.gz Abstract

  • W. Fokkink, C. Verhoef
    Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories
    report P9802, 1998
    .ps.gz Abstract

  • P. Klint, C. Verhoef
    Evolutionary Software Engineering: A Component-based Approach
    report P9801, 1998
    .ps.gz Abstract

  • J.A. Bergstra, A. Ponse
    Grid Protocol Specifications
    report P9726, 1997
    .ps.Z Abstract

  • J.A. Bergstra, A. Ponse
    Process Algebra Primitives for File Transfer
    report P9725, 1997
    .ps.Z Abstract

  • J.A. Bergstra, A. Ponse
    Process Algebra with Four-Valued Logic
    report P9724, 1997
    .ps.Z Abstract

  • J.A. Bergstra, A. Ponse
    Kleene's Three-Valued Logic and Process Algebra
    report P9723, 1997
    .ps.Z Abstract

  • J.A. Bergstra, A. Ponse
    Bochvar-McCarthy Logic and Process Algebra
    report P9722, 1997
    .ps.Z Abstract

  • M.P.A. Sellink, C. Verhoef
    Reflections on the Evolution of COBOL
    report P9721, 1997
    .ps.Z Abstract

  • M. van der Graaf
    A Specification of Box to HTML in ASF+SDF
    report P9720, 1997
    .ps.Z Abstract

  • M. van den Brand, M.P.A. Sellink, C. Verhoef
    Current Parsing Techniques in Software Renovation Considered Harmful
    report P9719, 1997
    .ps.Z Abstract

  • M. de Jonge
    Reuse of ASF+SDF Specifications by means of Renaming
    report P9718, 1997
    .ps.Z Abstract

  • A. Sellink (Ed.)
    Participants Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications
    report P9717, 1997
    .ps.Z Abstract

  • E. Visser
    From Context-free Grammars with Priorities to Character Class Grammars
    report P9717, 1997
    .ps.Z Abstract

  • H.M. Sneed
    Dealing with the Dual Crisis --- Year 2000 and Euro --- What Reverse Engineering can do to Help
    report P9716, 1997
    .ps.Z Abstract

  • W. Fokkink, C. Verhoef
    An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting
    report P9715, 1997
    .ps.Z Abstract

  • M. van den Brand, M.P.A. Sellink, C. Verhoef
    Control Flow Normalization for COBOL/CICS Legacy Systems
    report P9714, 1997
    .ps.Z Abstract

  • B. Diertens
    Simulation and Animation of Process Algebra Specifications
    report P9713, 1997
    .ps.Z Abstract

  • V. Partington
    Implementation of an Imperative Programming Language with Backtracking
    report P9712, 1997
    .ps.Z Abstract

  • L. Moonen
    A Generic Architecture for Data Flow Analysis to Support Reverse Engineering
    report P9711, 1997
    .ps.Z Abstract

  • B. Luttik, E. Visser
    Specification ofRewriting Strategies
    report P9710, 1997
    .ps.Z Abstract

  • J.A. Bergstra, M.P.A. Sellink
    An Arithmetical Module for Rationals and Reals
    report P9709, 1997
    .ps.Z Abstract

  • E. Visser
    Character Classes
    report P9708, 1997
    .ps.Z Abstract

  • E. Visser
    Scannerless Generalized-LR Parsing
    report P9707, 1997
    .ps.Z Abstract

  • E. Visser
    A Family of Syntax Definition Formalisms
    report P9706, 1997
    .ps.Z Abstract

  • M.G.J. van den Brand, M.P.A. Sellink, C. Verhoef
    Generation of Components for Software Renovation Factories from Context-free Grammars
    report P9705, 1997
    .ps.Z Abstract

  • P.A. Olivier
    Debugging Distributed Applications Using a Coordination Architecture
    report P9704, 1997
    .ps.Z Abstract

  • H.P. Korver, M.P.A. Sellink
    A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes
    report P9703, 1997
    .ps.Z Abstract

  • M.G.J. van den Brand, M.P.A. Sellink, C. Verhoef
    Reengineering COBOL Software Implies Specification of the Underlying Dialects
    report P9702, 1997
    .ps.Z Abstract

  • E. Visser
    Polymorphic Syntax Definition
    report P9701, 1997
    .ps.Z Abstract

  • M.G.J. van den Brand, P. Klint, C. verhoef
    Re-engineering needs Generic Programming Language Technology
    report P9618, 1996
    .ps.Z Abstract

  • P.I. Manuel
    ANSI Cobol III in SDF + an ASF Definition of a Y2K Tool
    report P9617, 1996
    .ps.Z Abstract

  • P.H. Rodenburg
    A Complete System of Four-valued Logic
    report P9616, 1996
    .ps.Z Abstract

  • S.P. Luttik, P.H. Rodenburg
    Transformations of Reduction Systems
    report P9615, 1996
    .ps.Z Abstract

  • M.G.J. van den Brand, P. Klint, C. Verhoef
    Core Technologies for System Renovation
    report P9614, 1996
    .ps.Z Abstract

  • L. Moonen
    Data Flow Analysis for Reverse Engineering
    report P9613, 1996
    .ps.Z Abstract

  • J.A. Hillebrand
    Transforming an ASF+SDF Specification into a ToolBus Application
    report P9612, 1996
    .ps.Z Abstract

  • M.P.A. Sellink
    On the conservativity of Leibniz Equality
    report P9611, 1996
    .ps.Z Abstract

  • T.B. Dinesh, S.M. Üsküdarli
    Specifying input and output of visual languages
    report P9610, 1996
    .ps.Z Abstract

  • T.B. Dinesh, S.M. Üsküdarli
    The VAS formalism in VASE
    report P9609, 1996
    .ps.Z Abstract

  • J.A. Hillebrand
    A small language for the specification of Grid Protocols
    report P9608, 1996
    .ps.Z Abstract

  • J.J. Brunekreef
    A transformation tool for pure Prolog programs: the algebraic specification
    report P9607, 1996
    .ps.Z Abstract

  • E. Visser
    Solving type equations in multi-level specifications (preliminary version)
    report P9606, 1996
    .ps.Z Abstract

  • P.R. D'Argenio, C. Verhoef
    A general conservative extension theorem in process algebras with inequalities
    report P9605, 1996
    .ps.Z Abstract

  • J.A. Bergstra, M.P.A. Sellink
    Sequential data algebra primitives (revised version of P9602)
    report P9602b, 1996
    .ps.Z Abstract

  • E. Visser
    Multi-level specifications
    report P9604, 1996
    .ps.Z Abstract

  • M.G.J. van den Brand, P. Klint, C. Verhoef
    Reverse engineering and system renovation: an annotated bibliography
    report P9603, 1996
    .ps.Z Abstract

  • J.A. Bergstra, M.P.A. Sellink
    Sequential data algebra primitives
    report P9602, 1996
    Abstract

  • P.A. Olivier
    Embedded system simulation: testdriving the ToolBus
    report P9601, 1996
    .ps.Z Abstract

  • J.J. Brunekreef
    TransLog, an interactive tool for transformation of logic programs
    report P9512, 1995
    .ps.Z Abstract

  • J.A. Bergstra, J.A. Hillebrand, A. Ponse
    Grid protocols based on synchronous communication: specification and correctness
    report P9511, 1995
    .ps.Z Abstract

  • P.H. Rodenburg
    Termination and confluence in infinitary term rewriting
    report P9510, 1995
    .ps.Z Abstract

  • J.A. Bergstra, Gh. Stefanescu
    Network algebra with demonic relation operators
    report P9509, 1995
    .ps.Z Abstract

  • J.A. Bergstra, C.A. Middelburg, Gh. Stefanescu
    Network algebra for synchronous and asynchronous dataflow
    report P9508, 1995
    .ps.Z Abstract

  • E. Visser
    A case study in optimizing parsing schemata by disambiguation filters
    report P9507, 1995
    .ps.Z Abstract

  • M.G.J. van den Brand, E. Visser
    Generation of formatters for context-free languages
    report P9506, 1995
    .ps.Z Abstract

  • J.M.T. Romijn
    Automatic analysis of term rewriting systems: proving properties of term rewriting systems derived from Asf+Sdf specifications
    report P9505, 1995
    .ps.Z Abstract

  • M.G.J. van den Brand, A. van Deursen, T.B. Dinesh, J.F.Th. Kamperman, E. Visser (editors)
    Asf+Sdf'95: a workshop on Generating Tools from Algebraic Specifications, May 11&12, 1995, CWI Amsterdam
    report P9504, 1995
    Abstract

  • J.A. Bergstra, A. Ponse
    Frame-based process logics
    report P9503, 1995
    .ps.Z Abstract

  • J.C.M. Baeten, J.A. Bergstra
    Discrete time process algebra (revised version of P9208b)
    report P9208c, 1995
    .ps.Z Abstract

  • J.A. Bergstra, P. Klint
    The discrete time ToolBus
    report P9502, 1995
    .ps.Z Abstract

  • J.A. Hillebrand, H.P. Korver
    A well-formedness checker for μCRL
    report P9501, 1995
    .ps.Z Abstract

  • P. Klint, E. Visser
    Using filters for the disambiguation of context-free grammars
    report P9426, 1994
    .ps.Z Abstract

  • B. Diertens, A. Ponse
    New features in PSF II: iteration and nesting
    report P9425, 1994
    .ps.Z Abstract

  • M.A. Bezem, A. Ponse
    Two finite specifications of a queue
    report P9424, 1994
    .ps.Z Abstract

  • J.J. van Wamel
    Process algebra with language matching
    report P9423, 1994
    .ps.Z Abstract

  • R.N. Bol, J.W.C. Koorn, L.H. Oei, S.F.M. van Vlijmen
    Syntax and static semantics of the interlocking design and application language
    report P9422, 1994
    .ps.Z Abstract

  • J.A. Bergstra, A. Ponse
    Frame algebra with synchronous communication
    report P9421, 1994
    .ps.Z Abstract

  • M.G.J. van den Brand, E. Visser
    From Box to TeX: An algebraic approach to the construction of documentation tools
    report P9420, 1994
    .ps.Z Abstract

  • J.C.M. Baeten, J.A. Bergstra, Gh. Stefanescu
    Process algebra with feedback
    report P9419, 1994
    .ps.Z Abstract

  • L.H. Oei
    Pruning the search tree of interlocking design and application language operational semantics
    report P9418, 1994
    .ps.Z Abstract

  • B. Diertens
    New features in PSF I: interrupts, disrupts, and priorities
    report P9417, 1994
    .ps.Z Abstract

  • S.M. Üsküdarli
    Generating visual editors for formally specified languages
    report P9416, 1994
    .ps.Z Abstract

  • S.F.M. van Vlijmen, P.N. Vriend, A. van Waveren
    Control and data transfer in the distributed editor of the ASF+SDF meta-environment
    report P9415, 1994
    .ps.Z Abstract

  • M.G.J. van den Brand, C. Groza
    The algebraic specification of annotated abstract syntax trees
    report P9414, 1994
    .ps.Z Abstract

  • A. Ponse, C. Verhoef, S.F.M. van Vlijmen (editors)
    Workshop on Algebra of Communicating Processes May 16-17, 1994 Utrecht University
    report P9413, 1994
    Abstract

  • J.C.M. Baeten, J.A. Bergstra, S.A. Smolka
    Axiomatizing probabilistic processes: ACP with generative probabilities (revised version of P9218)
    report P9218b, 1994

  • C. Groza
    An experiment in implementing process algebra specifications in a procedural language
    report P9412, 1994
    .ps.Z Abstract

  • M.J. Koens, L.H. Oei
    A real time muCRL specification of a system for traffic regulation at signalized intersections
    report P9411, 1994
    .ps.Z Abstract

  • J.J. van Wamel
    Inductive proofs with sets, and some applications in process algebra
    report P9410, 1994
    .ps.Z Abstract

  • J.F. Groote, J.J. van Wamel
    Algebraic data types and induction in muCRL
    report P9409, 1994
    .ps.Z Abstract

  • J.A. Bergstra, P. Klint
    The toolbus: a component interconnection architecture
    report P9408, 1994
    .ps.Z Abstract

  • P.H. Rodenburg
    Module algebra for initial algebra semantics
    report P9407, 1994
    .ps.Z Abstract

  • J.A. Bergstra, I. Bethke, P.H. Rodenburg
    A propositional logic with 4 values: true, false, divergent and meaningless
    report P9406, 1994
    .ps.Z Abstract

  • J.A. Hillebrand
    The ABP and the CABP - a comparison of performances in real time process algebra (revised version of P9211)
    report P9211b, 1994
    Abstract

  • J.C.M. Baeten, J.A. Bergstra
    Process algebra with partial choice
    report P9405, 1994
    .ps.Z Abstract

  • J.A. Bergstra, I. Bethke, A. Ponse
    Process algebra with iteration and nesting (revised version of P9314)
    report P9314b, 1994
    Abstract

  • J. van den Brink, W.O.D. Griffioen
    Formal semantics of discrete absolute timed interworkings
    report P9404, 1994
    Abstract

  • J.A. Bergstra, Gh. Stefanescu
    Processes with multiple entries and exits modulo isomorphism and modulo bisimulation
    report P9403, 1994
    .ps.Z Abstract

  • J.A. Bergstra, Ch. Stefanescu
    Bisimulation is two-way simulation
    report P9402, 1994
    .ps.Z Abstract

  • J.C.M. Baeten, J.A. Bergstra
    Graph isomorphism models for non interleaving process algebra
    report P9401, 1994
    .ps.Z Abstract

  • J.A. Hillebrand
    An algebraic specification of a manufacturing system with hierarchical control
    report P9331, 1993
    .ps.Z Abstract

  • K.M.M. de Leeuw, H. van der Meer
    A turning grille from the ancestral castle of the Dutch Stadtholders
    report P9330, 1993
    Abstract

  • J.J. Brunekreef
    Process specification in a UNITY format
    report P9329, 1993
    .ps.Z Abstract

  • B. Diertens
    A simulator for PSF in PSF
    report P9328, 1993
    .ps.Z Abstract

  • M.G.J. van den Brand
    Generation of language independent prettyprinters
    report P9327, 1993
    .ps.Z Abstract

  • J.C.M. Baeten, J.A. Bergstra
    Non interleaving process algebra
    report P9326, 1993
    .ps.Z Abstract

  • J.A. Bergstra, A. Ponse, J.J. van Wamel
    Process algebra with backtracking (revised version of P9306)
    report P9306b, 1993
    .ps.Z Abstract

  • J.C.M. Baeten, J.A. Bergstra
    Real time process algebra with infinitesimals
    report P9325, 1993
    .ps.Z Abstract

  • J.J. Brunekreef, J.P. Katoen, R.L.C. Koymans, S. Mauw
    Design and analysis of dynamic leader election protocols in broadcast networks
    report P9324, 1993
    .ps.Z Abstract

  • M. Kaart, I. Polak
    Het alternating bit protocol met time out in discrete tijd
    report P9323, 1993
    .ps.Z Abstract

  • N.J. Drost
    Unification in an algebra with choice and sequential composition
    report P9322, 1993
    .ps.Z Abstract

  • N.J. Drost
    Unification in an algebra with choice and action prefix
    report P9321, 1993
    .ps.Z Abstract

  • K.M.M. de Leeuw, H. van der Meer
    Een roostergeheimschrift van Alexander baron van Spaen
    report P9320, 1993

  • J.A. Bergstra, I. Bethke, A. Ponse
    Process algebra with combinators
    report P9319, 1993
    .ps.Z Abstract

  • I. Bethke, A. Ponse
    A car registration authority, a concise PSF-specification
    report P9318, 1993
    .ps.Z Abstract

  • S.F.M. van Vlijmen, J.J. van Wamel
    A semantic approach to Protocold using process algebra
    report P9317, 1993
    .ps.Z Abstract

  • J.J. Brunekreef, A. Ponse
    An algebraic specification of a model factory, part IV
    report P9316, 1993
    .ps.Z Abstract

  • M.G.J. van den Brand
    Prettyprinting without losing comments
    report P9315, 1993
    .ps.Z Abstract

  • J.A. Bergstra, I. Bethke, A. Ponse
    Process algebra with iteration
    report P9314, 1993
    .ps.Z Abstract

  • S.F.M. van Vlijmen, A. van Waveren
    Algebraic specification of a system for traffic regulation at signalized intersections
    report P9313, 1993
    .ps.Z Abstract

  • J.W.C. Koorn, H.C.N. Bakker
    Building an editor from existing components: an exercise in software re-use
    report P9312, 1993
    .ps.Z Abstract

  • I. Polak
    Specification of a bank account in PSF
    report P9311, 1993
    .ps.Z Abstract

  • J.C.M. Baeten, J.A. Bergstra
    On sequential composition, action prefixes and process prefix (revised version of P9305)
    report P9305b, 1993
    .ps.Z Abstract

  • A.S. Klusener, S.F.M. van Vlijmen, A. van Waveren
    Service independent building blocks-I; concepts, examples and formal specifications
    report P9310, 1993
    .ps.Z Abstract

  • J.C.M. Baeten, J.A. Bergstra, R.N. Bol
    A real time process logic
    report P9309, 1993
    .ps.Z Abstract

  • J.F.A.K. van Benthem, J.A. Bergstra
    Logic of transition systems
    report P9308, 1993
    Abstract

  • A. Stins, A. Schoneveld
    Specification of a bank account with process algebra
    report P9307, 1993
    Abstract

  • J.A. Bergstra, A. Ponse, J.J. van Wamel
    Process algebra with backtracking
    report P9306, 1993

  • J.C.M. Baeten, J.A. Bergstra
    On sequential composition, action prefixes and process prefix
    report P9305, 1993

  • S.F.M. van Vlijmen, A. van Waveren
    On generating synchronous interworkings from PSF process traces
    report P9304, 1993
    .ps.Z Abstract

  • A. Ponse, J.A. Verschuren
    An algebraic specification of a model factory, part III
    report P9303, 1993
    .ps.Z Abstract

  • J.A. Bergstra, J.V. Tucker
    The data type variety of stack algebras
    report P9302, 1993
    .ps.Z Abstract

  • J.J. van Wamel
    A library for PSF
    report P9301, 1993
    .ps.Z Abstract

  • J.C.M. Baeten, J.A. Bergstra
    Discrete time process algebra (revised version of P9208)
    report P9208b, 1992

  • J.W.C. Koorn
    Connecting semantic tools to a syntax-directed user-interface
    report P9222, 1992

  • J. Blanco
    Definability with the state operator in process algebra
    report P9221, 1992

  • A. van Waveren
    Specification of remote sensing mechanisms in real space process algebra
    report P9220, 1992

  • I. Bethke, P.H. Rodenburg
    Equational Constructor Induction
    report P9219, 1992

  • J.C.M. Baeten, J.A. Bergstra, S.A. Smolka
    Axiomatizing Probabilistic Processes: ACP with Generative Probabilities
    report P9218, 1992

  • A. Ponse
    Process algebra and dynamic logic
    report P9217, 1992

  • J.C.M. Baeten, J.A. Bergstra
    Real space process algebra (revised version)
    report P9005b, 1992

  • E.E. Polak
    An efficient implementation of branching bisimulation and distinguishing formulae
    report P9216, 1992

  • J.A. Bergstra, J.V. Tucker
    Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
    report P9215, 1992

  • J. A. Hillebrand, A. Ponse
    An algebraic specification of a model factory, part II
    report P9214, 1992
    .ps.Z Abstract

  • N.J. Drost
    Unification in the algebra of sets with union and empty set
    report P9213, 1992

  • J.J. van Wamel
    A study of a one bit sliding window protocol in ACP
    report P9212, 1992

  • J.A. Hillebrand
    The ABP and the CABP - a comparison of performances in realtime process algebra
    report P9211, 1992

  • J.C.M. Baeten, J.A. Bergstra, J.W. Klop
    Decidability of bisimulation equivalence for processes generating context-free languages
    report P9210, 1992

  • S.F.M. van Vlijmen, A. van Waveren
    An algebraic specification of a model factory
    report P9209, 1992

  • J.C.M. Baeten, J.A. Bergstra
    Discrete time process algebra
    report P9208, 1992

  • K. de Leeuw, H. van der Meer
    A secret message in the archive of the last great pensionary of Holland
    report P9207, 1992

  • J.C.M. Baeten, J.A. Bergstra
    Real space process algebra
    report P9206, 1992

  • J.J. van Wamel
    An algebraic verification of the concurrent alternating bit protocol
    report P9205, 1992

  • C. Verhoef
    On induction principles
    report P9204, 1992

  • J.A. Verschuren
    A simulator for mCRL in ASF+SDF
    report P9203, 1992

  • J.W.C. Koorn
    A generic text and structure editor
    report P9202, 1992

  • P.H. Rodenburg
    Interpolation in Equational Logic
    report P9201, 1992

  • J.J. Brunekreef
    A formal specification of three Sliding Window Protocols (revised version of P9102)
    report P9102b, 1991

  • A. Mateescu
    Recursive systems with auxiliary variables in Basic Process Algebra
    report P9112, 1991

  • J.C.M. Baeten, J.A. Bergstra
    A survey of axiom systems for process algebras
    report P9111, 1991

  • J.J. van Wamel
    A formal specification of three simple protocols
    report P9110, 1991

  • J.J. Brunekreef
    A formal specification of two simple protocols for Local Area Networks
    report P9109, 1991

  • J.J. Brunekreef
    A formal specification of the Amoeba Transaction Protocol
    report P9108, 1991

  • G.J. Veltink
    The PSF toolkit
    report P9107, 1991

  • J.C.M. Baeten, J.A. Bergstra
    Asynchronous communication in real space process algebra
    report P9106, 1991

  • C. Verhoef
    An operator definition principle (for process algebras)
    report P9105, 1991

  • J.C.M. Baeten, J.A. Bergstra
    The state operator in real time process algebra
    report P9104, 1991

  • H.P. Korver
    Computing distinguishing formulas for branching bisimulation
    report P9103, 1991

  • J.J. Brunekreef
    A formal specification of three Sliding Window Protocols
    report P9102, 1991

  • H.P. Korver
    The current state of bisimulation tools
    report P9101, 1991

  • G.J. Veltink
    From PSF to TIL
    report P9009, 1990

  • J.C.M. Baeten, J.A. Bergstra
    Process algebra with signals and conditions
    report P9008, 1990

  • S. Mauw, Gy. Max
    A formal specification of the Ethernet protocol
    report P9007, 1990

  • G.J. Akkerman, J.C.M. Baeten
    Term rewriting analysis in process algebra
    report P9006, 1990

  • J.C.M. Baeten, J.A. Bergstra
    Real space process algebra
    report P9005, 1990

  • N.J. Drost
    Algbraic formulations of trace theory
    report P9004, 1990

  • J.C.M. Baeten, J.A. Bergstra
    Process algebra with zero a object (revised version of P9002)
    report P9002b, 1990

  • J.A. Bergstra, J.V. Tucker
    The inescapable stack: An exercise in algebraic specification with total functions (revised version of P8804)
    report P8804b, 1990

  • J.C.M. Baeten, J.A. Bergstra
    Design of a specification language by abstract syntax engineering (revised version of P8910)
    report P8910b, 1990

  • J.C.M. Baeten, J.A. Bergstra, S. Mauw, G.J. Veltink
    A process specification formalism based on static COLD (revised version of P8906)
    report P8906b, 1990

  • C. Verhoef
    On the register operator
    report P9003, 1990

  • J.C.M. Baeten, J.A. Bergstra
    Real time process algebra (revised version of P8916)
    report P8916b, 1990

  • J.C.M. Baeten, J.A. Bergstra
    Process algebra with zero object and non-determinacy
    report P9002, 1990

  • L.W. Kuurman
    The jungle of process semantics
    report P9001, 1990

  • J.C.M. Baeten, J.A. Bergstra
    Real time process algebra
    report P8916, 1989

  • J.C. Mulder
    The inevitable coffee machine
    report P8915, 1989

  • H. Jacobsson, S. Mauw
    A Token ring network in PSFd
    report P8914, 1989

  • H.R. Walters
    Hybrid implementations of algebraic specifications
    report P8913, 1989

  • S. Mauw, G.J. Veltink
    A Tool Interface Language for PSF
    report P8912, 1989

  • P.H. Rodenburg
    Interpolation in conditional equational logic
    report P8911, 1989

  • J.C.M. Baeten, J.A. Bergstra
    Design of a specification language by abstract syntax engineering (preliminary version)
    report P8910, 1989

  • J.A. Bergstra
    Algebra of states and transitions
    report P8909, 1989

  • S. Mauw, F. Wiedijk
    Specification of the transit node in PSFd
    report P8908, 1989

  • J.A. Bergstra
    A mode transfer operator in process algebra (revised version of P8808)
    report P8808b, 1989

  • J.A. Bergstra
    Kerninformatica en toekomst
    report P8907, 1989

  • J.C.M. Baeten, J.A. Bergstra, S. Mauw, G.J. Veltink
    A process specification formalism based on static COLD
    report P8906, 1989

  • J.A. Bergstra
    Process algebra for synchronous communication and observation (revised version of P8815)
    report P8815b, 1989

  • J.A. Bergstra, J.W. Klop
    BMACP
    report P8905, 1989

  • J.A. Bergstra, S. Mauw, F. Wiedijk
    Uniform algebraic specifications of finite sorts with equality
    report P8904, 1989

  • J.A. Bergstra
    A representation of addition and deletion lists using module algebra
    report P8903, 1989

  • R.P. Ogilvie
    Knowledge engineering vs. software engineering
    report P8902, 1989

  • S. Mauw, G.J. Veltink
    An introduction to PSF
    report P8901, 1989

  • J. Treur
    Design of modular and interactive knowledge-based systems
    report P8826, 1988

  • H.W. Lenferink
    Local control of inference by means of meta-rules
    report P8825, 1988

  • J.A. Bergstra, J.W. Klop
    Process theory based on bisimulation semantics
    report P8824, 1988

  • J.A. Bergstra, J. Heering, P. Klint
    Module Algebra (revised version)
    report P8823, 1988

  • J.L.M. Vrancken
    The algebraic specification of semicomputable data types (revised version)
    report P8822, 1988

  • J.C.M. Baeten, F.W. Vaandrager
    Specification and verification of a circuit in ACP (revised version)
    report P8821, 1988

  • J. Treur
    A logical framework for design processes
    report P8820, 1988

  • H.K. Faber
    Strategische uitleg in een medisch expertsysteem
    report P8819, 1988

  • H.K. Faber
    Uitleg en kennisrepresentatie in expertsystemen
    report P8818, 1988

  • J. Treur
    Heuristic reasoning with incomplete knowledge
    report P8817, 1988

  • J.A. Bergstra
    ACP with signals
    report P8816, 1988

  • J.A. Bergstra
    Process algebra for synchronous communication and observation
    report P8815, 1988

  • S. Mauw, G.J. Veltink
    A process specification formalism
    report P8814, 1988

  • J. Treur
    Reasoning about partial models, actions and plans
    report P8813, 1988

  • J. Treur
    On the use of reflection principles in modelling complex reasoning
    report P8812, 1988

  • F. Wiedijk
    Voorlopig rapport over de specificatie-taal Perspect
    report P8811, 1988

  • R.E. Swart
    The BCA Bull Course Adviser
    report P8810, 1988

  • J. Treur
    Metakennis en meta-inferenties in expertsystemen
    report P8809, 1988

  • J.A. Bergstra
    A mode transfer operator in process algebra
    report P8808, 1988

  • J.L.M. Vrancken
    The implementation of process algebra specifications in POOL-T
    report P8807, 1988

  • J. Treur
    Generic inference processes and their interactions in complex diagnostic tasks; a logical description
    report P8806, 1988

  • J. Treur
    Completeness and definability in diagnostic expert systems
    report P8805, 1988

  • J.A. Bergstra, J.V. Tucker
    The inescapable stack: An exercise in algebraic specification with total functions
    report P8804, 1988

  • J.C.M. Baeten, F.W. Vaandrager
    Specification and verification of a circuit in ACP
    report P8803, 1988

  • J.C.M. Baeten, J.A. Bergstra
    Recursive process definitions with the state operator
    report P8802, 1988

  • F.R. Burggraaff, E. van der Meulen
    ASF Specification of a B-tree of order 1
    report P8801, 1988

  • L.G. Bouma, H.R. Walters
    Implementing algebraic specifications
    report P8714, 1987

  • W. Syski
    On a certain probabilistic approximation method for reasoning with uncertainty
    report P8713, 1987

  • W. Syski, J. Treur
    Reasoning about uncertainty represented by meta-reasoning, the endorsements approach
    report P8712, 1987

  • J. Treur
    Een logische analyse van diagnostische redeneerprocessen; redeneren met en over hypothesen
    report P8711, 1987

  • J. Treur
    Volledigheid en definieerbaarheid in diagnostische redeneersystemen
    report P8710, 1987

  • J.C.M. Baeten, J.A. Bergstra
    Global renaming operators in concrete process algebra (revised version)
    report P8709, 1987

  • S. Mauw
    Process algebra as a tool for the specification and verification of CIM-architectures
    report P8708, 1987

  • J.H. Verhagen
    Expertsystemen bij de Nederlandse Spoorwegen
    report P8707, 1987

  • J.C.M. Baeten, J.A. Bergstra, J.L.M. Vrancken
    Processen en procesexpressies
    report P8706, 1987

  • J.L.M. Vrancken
    The algebraic specification of semicomputable datatypes
    report P8705, 1987

  • F. Wiedijk
    Termherschrijfsystemen in Prolog
    report P8704, 1987

  • A.V. Hurkmans
    Een declaratieve en procedurele kennisrepresentatievorm voor kennissystemen, toegepast op NEXT
    report P8703, 1987

  • M.R. Dasselaar
    Development of an expert system, from theory to practice
    report P8702, 1987

  • R.A. Groenveld
    Verification of a sliding window protocol by means of process algebra
    report P8701, 1987


PhD Theses

  • B. Diertens
    Software Engineering with Process Algebra
    October 2009
    URL

  • T.D. Vu
    Semantics and Applications of Process and Program Algebra
    Februari 2007


Master Theses

  • R. M. Geerlings
    A Projection of the Object Oriented Constructs of Ruby to Program Algebra
    November 2003
    PostScript (gzipped), PDF


Bachelor Theses

  • D. Staudt
    Engineering a Domotics Application with PSF
    June 2008
    PDF

  • I. Tamboer
    Autoconfiscation of Imake Configured Projects
    August 2007
    PDF

  • G. Kunze
    Compiling Ruby to Program Algebra
    August 2006
    PDF

  • S. Schroevers
    Extending the PGA Toolset
    June 2006
    PDF