Publications

• 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
  

• D. Staudt. A Case Study in Software Engineering with PSF: A Domotics Application, electronic report PRG0811, Programming Research Group - University of Amsterdam, August 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. Software Engineering with Process Algebra, Ph.D. Thesis, University of Amsterdam, 2009
  URL