Publications on PSF related subjects

This list is probably not complete. If you think you know something that should be on this list, please mail the maintainer of this page.

Publications

• S. Mauw, G.J. Veltink. A Process Specification Formalism, in Fundamenta Informaticae XIII (1990), pp. 85-139, IOS Press, 1990

• S. Mauw, G.J. Veltink. An introduction to PSF, in Proc. International Joint Conference on Theory and Practice of Software Development, TAPSOFT '89, LNCS 352, pp. 272-285, Springer Verlag, 1989

• J.A. Bergstra, J. Heering, P. Klint (eds.). The Algebraic Specification Formalism ASF, in Algebraic Specification, ACM Press Frontier Series, pp. 1-66, Addison-Wesley, 1989

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

• S. Mauw, G.J. Veltink (eds.). Algebraic Specification of Communication Protocols, Cambridge Tracts in Theoretical Computer Science 36, Cambridge University Press, 1993

• J.A. Bergstra, I. Bethke, A. Ponse. Process Algebra with Iteration and Nesting, The Computer Journal, vol. 37, no. 4, pp. 243-258, 1994

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

Technical Reports and others

• S. Mauw, G.J. Veltink. A Tool Interface Language for PSF, report P8912, Programming Research Group - University of Amsterdam, October 1989

• J.C. Mulder. The inevitable coffee machine, report P8915, Programming Research Group - University of Amsterdam, December 1989

• G.J. Veltink. From PSF to TIL, report P9009, Programming Research Group - University of Amsterdam, December 1990

• S. Mauw. PSF - A Process Specification Formalism, Ph.D. thesis, University of Amsterdam, 1991

• J.A. Hillebrand, A. Ponse. An algebraic specification of a model factory, part II, report P9214, Programming Research Group - University of Amsterdam, 1992
  ps.Z
  

• J.J. van Wamel. A library for PSF, report P9301, Programming Research Group - University of Amsterdam, 1993
  ps.Z
  

• A. Ponse, J.A. Verschuren. An algebraic specification of a model factory, part III, report P9303, Programming Research Group - University of Amsterdam, 1993
  ps.Z
  

• S.F.M. van Vlijmen, A. van Waveren. On generating synchronous interworkings from PSF process traces, report P9304, Programming Research Group - University of Amsterdam, 1993
  ps.Z
  

• I. Polak. Specification of a bank account in PSF, report P9311, Programming Research Group - University of Amsterdam, 1993
  ps.Z
  

• S.F.M. van Vlijmen, A. van Waveren. Algebraic specification of a system for traffic regulation at signalized intersections, report P9313, Programming Research Group - University of Amsterdam, 1993
  ps.Z
  

• J.J. Brunekreef, A. Ponse. An algebraic specification of a model factory, part IV, report P9316, Programming Research Group - University of Amsterdam, 1993
  ps.Z
  

• I. Bethke, A. Ponse. A car registration authority, a concise PSF-specification, report P9319, Programming Research Group - University of Amsterdam, 1993
  ps.Z
  

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

• J.A. Hillebrand. An algebraic specification of a manufacturing system with hierarchical control, report P9331, Programming Research Group - University of Amsterdam, 1993
  ps.Z
  

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

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

• J.A. Bergstra, P. Klint. The discrete time ToolBus, report P9502, Programming Research Group - University of Amsterdam, March 1995
  ps.Z
  

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

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

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

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

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

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

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