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
  

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