This is the old website of the TCS group, since 6 December 2021 this is our current website.
Publications
- Selected Books
- Selected Articles
- Reports
- former report series (PRG)
- Electronic Reports (Technical Reports of which there is no paper version available)
- Technical Reports
- PhD Theses
- Master Theses
- Bachelor Theses
- Project Reports
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
- J.A. Bergstra, A. Ponse
Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals (version 3)
report TCS1409v3, February 2016
PostScript (gzipped), PDF - B. Diertens
Molecular Scripting Primitives with Functions
report TCS1504, June 2015
PostScript (gzipped), PDF - B. Diertens
Simulation of the Eval Instruction from MSPea
report TCS1503, May 2015
PostScript (gzipped), PDF - J.A. Bergstra
Architectural Adequacy and Evolutionary Adequacy as Characterics of a Candidate Informational Money
report TCS1502, April 2015
PostScript (gzipped), PDF - B. Diertens
Composition in the Function-Behaviour-Structure Framework
report TCS1501, April 2015
PostScript (gzipped), PDF - B. Diertens
Refinement in the Function-Behaviour-Structure Framework (version 2)
report TCS1301v2, February 2015
PostScript (gzipped), PDF - J.A. Bergstra, A. Ponse
Division by Zero in Common Meadows (version 2)
report TCS1410v2, December 2014
PostScript (gzipped), PDF - J.A. Bergstra
From Software Crisis to Informational Money
report TCS1414, December 2014
PostScript (gzipped), PDF - J.A. Bergstra, I. Bethke
Note on Paraconsistency and the Logic of Fractions
report TCS1413, October 2014
PostScript (gzipped), PDF - J.A. Bergstra, I. Bethke, A. Ponse
Rekenen-Informatica
report TCS1412, October 2014
PostScript (gzipped), PDF - J.A. Bergstra
Bitcoin: not a Currency-like Informational Commodity
report TCS1411, October 2014
PostScript (gzipped), PDF - J.A. Bergstra, A. Ponse
Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals (version 2)
report TCS1409v2, August 2014
PostScript (gzipped), PDF - J.A. Bergstra, A. Ponse
Division by Zero in Common Meadows
report TCS1410, June 2014
PostScript (gzipped), PDF - J.A. Bergstra
Four Complete Datatype Defining Rewrite Systems for an Abstract Datatype of Natural Numbers (version 3)
report TCS1407v3, June 2014
PostScript (gzipped), PDF - J.A. Bergstra, A. Ponse
Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals
report TCS1409, June 2014
PostScript (gzipped), PDF - J.A. Bergstra
Bitcoin and Islamic Finance (version 3)
report TCS1406v3, June 2014
PostScript (gzipped), PDF - J.A. Bergstra
Four Complete Datatype Defining Rewrite Systems for an Abstract Datatype of Natural Numbers (version 2)
report TCS1407v2, June 2014
PostScript (gzipped), PDF - J.A. Bergstra
Bitcoin: Informational Money en het Einde van Gewoon Geld
report TCS1408, Jun 2014
PostScript (gzipped), PDF - J.A. Bergstra
Four Complete Datatype Defining Rewrite Systems for an Abstract Datatype of Natural Numbers
report TCS1407, May 2014
PostScript (gzipped), PDF - J.A. Bergstra
Bitcoin and Islamic Finance (version 2)
report TCS1406v2, May 2014
PostScript (gzipped), PDF - J.A. Bergstra
Bitcoin and Islamic Finance
report TCS1406, April 2014
PostScript (gzipped), PDF - J.A. Bergstra
Rekenen in een Conservatieve Schrapwet Weide
report TCS1405, February 2014
PostScript (gzipped), PDF - J.A. Bergstra
Division by Zero and Abstract Data Types
report TCS1404, February 2014
PostScript (gzipped), PDF - J.A. Bergstra, I. Bethke, A. Ponse
Equations for Formally Real Meadows
report TCS1403, February 2014
PostScript (gzipped), PDF - J.A. Bergstra, W.P. Weijland
Bitcoin, a Money-like Informational Commodity
report TCS1402, February 2014
PostScript (gzipped), PDF - J.A. Bergstra
Bitcoin, een "money-like informational commodity"
report TCS1401, February 2014
PostScript (gzipped), PDF - B. Diertens
The Refined Function-Behaviour-Structure Framework
report TCS1301, September 2013
PostScript (gzipped), PDF - B. Diertens
From Functions to Object-Orientation by Abstraction
report TCS1202, September 2012
PostScript (gzipped), PDF - B. Diertens
Concurrent Models for Object Execution
report TCS1201, August 2012
PostScript (gzipped), PDF - B. Diertens
Communicating Concurrent Functions
report TCS1102, November 2011
PostScript (gzipped), PDF - B. Diertens
Concurrent Models for Function Execution
report TCS1101, May 2011
PostScript (gzipped), PDF - B. Diertens
On Object-Orientation
report TCS1001, June 2010
PostScript (gzipped), PDF
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
PostScript (gzipped) Abstract - J.A. Bergstra, I. Bethke, M.E. Loots
A First Course on C Program Reading
report P0002, 2000
PostScript (gzipped) Abstract - J.A. Bergstra, I. Bethke, A. Ponse
Basic Multi-Competence Programming
report P0001, 2000
PostScript (gzipped) Abstract - J.A. Bergstra, M.E. Loots
Software mechanics for Java multi-threading
report P9906, 1999
PostScript (gzipped) Abstract - M.P.A. Sellink, C. Verhoef
Towards Automated Modification of Legacy Assets
report P9905, 1999
PostScript (gzipped) Abstract - M.P.A. Sellink, C. Verhoef
Scaffolding for Software Renovation
report P9904, 1999
PostScript (gzipped) Abstract - René Krikhaar, André Postma, M.P.A. Sellink, Marc Stroucken, C. Verhoef
A Two-phase Process for Software Architecture Improvement
report P9903, 1999
PostScript (gzipped) Abstract - A. van Deursen, P. Klint, C. Verhoef
Research Issues in the Renovation of Legacy Systems
report P9902, 1999
PostScript (gzipped) Abstract - M.P.A. Sellink, C. Verhoef
Generation of Software Renovation Factories from Compilers
report P9901, 1999
PostScript (gzipped) 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
PostScript (gzipped) Abstract - B. Wedemeijer
Introduction & Basic Tooling for Casl using asf+sdf
report P9809, 1998
PostScript (gzipped) Abstract - J.A. Bergstra, A. Ponse
Two Recursive Generalizations of Iteration in Process Algebra
report P9808, 1998
PostScript (gzipped) Abstract - M.P.A. Sellink, C. Verhoef
An Architecture for Software Maintenance
report P9807, 1998
PostScript (gzipped) Abstract - M. B. van der Zwaag
Some Verifications in Process Algebra with Iota
report P9806, 1998
PostScript (gzipped) Abstract - M.P.A. Sellink, C. Verhoef
Development, Assessment, and Reengineering of Language Descriptions
report P9805, 1998
PostScript (gzipped) Abstract - M.P.A. Sellink, C. Verhoef
Native Patterns
report P9804, 1998
PostScript (gzipped) Abstract - J.J. Brunekreef
Annotated Algebraic Specification of the Syntax and Semantics of the Programming Language Alma-0
report P9803, 1998
PostScript (gzipped) Abstract - W. Fokkink, C. Verhoef
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories
report P9802, 1998
PostScript (gzipped) Abstract - P. Klint, C. Verhoef
Evolutionary Software Engineering: A Component-based Approach
report P9801, 1998
PostScript (gzipped) 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
body.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
URL 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
- B. van den Heuvel
Purely event-driven programming: A programming language design
June 2016
PDF - E. van der Schaaf
Software Engineering with PSF and Go
June 2016
PDF - 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
Project Reports
- B. van den Heuvel
The process of purely event-driven programs
February 2018
PDF