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

• 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

• 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.C.M. Baeten, W.P. Weijland. Process Algebra, Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press, 1990

• 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 (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

Technical Reports and others

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

• S. Mauw, G.J. Veltink. A Tool Interface Language for PSF, report P8912, Programming Research Group - University of Amsterdam, October 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
  Abstract

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

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

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

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

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

• 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
  Abstract

• 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
  Abstract

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

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

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

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

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

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

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

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

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

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

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

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