Publications

• J. Brunekreef, B. Diertens. Towards a User-controlled Software Renovation Factory, in Proceedings of the Third European Conference on Maintainance and Reengineering, pp. 83-90, IEEE Computer Society, 1999

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

• B. Diertens. Software Engineering with Process Algebra, Ph.D. Thesis, University of Amsterdam, 2009
  URL
  

Technical Reports and others

• B. Diertens
  A Simulator for PSF in PSF
  report P9328, Programming Research Group - University of Amsterdam, October 1993
  PDF
  

• B. Diertens
  New Features in PSF I - Interrupts, Disrupts, and Priorities
  report P9417, Programming Research Group - University of Amsterdam, June 1994
  PDF
  

• B. Diertens, A. Ponse
  New Features in PSF II - Iteration and Nesting
  report P9425, Programming Research Group - University of Amsterdam, October 1994
  PDF
  

• B. Diertens
  Simulation and Animation of Process Algebra Specifications
  report P9713, Programming Research Group - University of Amsterdam, September 1997
  PDF
  

• B. Diertens
  Generation of Animations for Simulation of Process Algebra Specifications
  report P0003, Programming Research Group - University of Amsterdam, October 2000
  PDF
  

• B. Diertens
  A Toolset for PGA
  electronic report PRG0302, Programming Research Group - University of Amsterdam, October 2003
  PDF
  

• B. Diertens
  Molecular Scripting Primitives
  electronic report PRG0401, Programming Research Group - University of Amsterdam, June 2004
  PDF
  

• B. Diertens
  A Compiler-projection from PGLEc.MSPio to Parrot
  electronic report PRG0403, Programming Research Group - University of Amsterdam, October 2004
  PDF
  

• B. Diertens
  Software (Re-)Engineering with PSF
  electronic report PRG0505, Programming Research Group - University of Amsterdam, October 2005
  PDF
  

• B. Diertens
  Software (Re-)Engineering with PSF II: from architecture to implementation
  electronic report PRG0609, Programming Research Group - University of Amsterdam, November 2006
  PDF
  

• B. Diertens
  Software (Re-)Engineering with PSF III: an IDE for PSF
  electronic report PRG0708, Programming Research Group - University of Amsterdam, October 2007
  PDF
  

• B. Diertens
  A Process Algebra Software Engineering Environment
  electronic report PRG0808, Programming Research Group - University of Amsterdam, June 2008
  PDF
  

• B. Diertens
  Software Engineering with Process Algebra: Modelling Client / Server Architectures
  electronic report PRG0908, Programming Research Group - University of Amsterdam, August 2009
  PDF
  

• B. Diertens
  On Object-Orientation
  electronic report TCS1001, section Theory of Computer Science - University of Amsterdam, june 2010
  PDF
  

• B. Diertens
  Concurrent Models for Function Execution
  electronic report TCS1101, section Theory of Computer Science - University of Amsterdam, may 2011
  PDF
  

• B. Diertens
  Communicating Concurrent Functions
  electronic report TCS1102, section Theory of Computer Science - University of Amsterdam, november 2011
  PDF
  

• B. Diertens
  Concurrent Models for Object Execution
  electronic report TCS1201, section Theory of Computer Science - University of Amsterdam, august 2012
  PDF
  

• B. Diertens
  From Functions to Object-Orientation by Abstraction
  electronic report TCS1202, section Theory of Computer Science - University of Amsterdam, september 2012
  PDF
  

• B. Diertens
  The Refined Function-Behaviour-Structure Framework
  electronic report TCS1301, section Theory of Computer Science - University of Amsterdam, september 2013
  PDF
  

• B. Diertens
  Refinement in the Function-Behaviour-Structure Framework (version 2)
  electronic report TCS1301v2, section Theory of Computer Science - University of Amsterdam, february 2015
  PDF
  

• B. Diertens
  Composition in the Function-Behaviour-Structure Framework
  electronic report TCS1501, section Theory of Computer Science - University of Amsterdam, april 2015
  PDF
  

• B. Diertens
  Simulation of the Eval Instruction from MSPea
  electronic report TCS1503, section Theory of Computer Science - University of Amsterdam, may 2015
  PDF
  

• B. Diertens
  Molecular Scripting Primitives with Functions
  electronic report TCS1504, section Theory of Computer Science - University of Amsterdam, june 2015
  PDF
  

• B. Diertens
  Process Algebra Based Tool Coordination Architectures in Raku and Go
  electronic report BWL2401, B'ware Lab, june 2024
  PDF