Publications

• J.A. Bergstra, M.E. Loots. Program algebra for component code, Formal Aspects of Computing, vol. 12, pp. 1-17, 2000

• J.A. Bergstra, M.E. Loots. Program algebra for sequential code, Journal of Logic and Algebraic Programming, vol. 51, no. 2, pp. 125-156, 2002
  URL
  

• A. Ponse. Program algebra with unit instruction operators, Journal of Logic and Algebraic Programming, vol. 51, no. 2, pp. 157-174, 2002
  URL
  

• J.A. Bergstra, A. Ponse. Combining programs and state machines, Journal of Logic and Algebraic Programming, vol. 51, no. 2, pp. 175-192, 2002
  URL
  

• J.A. Bergstra, I. Bethke. Molecular dynamics, Journal of Logic and Algebraic Programming, vol. 51, no. 2, pp. 193-214, 2002
  URL
  

• I. Bethke, P. Walters. Molecule-oriented Java Programs for Cyclic Sequences, electronic report PRG0201, Programming Research Group - University of Amsterdam, November 2002
  PostScript (gzipped), PDF
  

• J.A. Bergstra, P.Walters. Projection semantics for multi-file programs, electronic report PRG0301, Programming Research Group - University of Amsterdam, May 2003
  PostScript (gzipped), PDF
  

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

• R.M. Geerlings. A Projection of the Object Oriented Constructs of Ruby to Program Algebra, master thesis, Programming Research Group - University of Amsterdam, November 2003
  PostScript (gzipped)
  

• J.A. Bergstra, I. Bethke. Polarized process algebra and program equivalence, in Proceedings of ICALP 2003, LNCS 2719, pp. pages 1-21, Springer-Verlag, 2003

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

• J.A. Bergstra, I. Bethke. Linear Projective Program Syntax, electronic report PRG0402, Programming Research Group - University of Amsterdam, September 2004
  PostScript (gzipped), PDF
  

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

• J.A. Bergstra, I. Bethke. Polarized process algebra with reactive composition, Theoretical Computer Science, vol. 343, no. 3, pp. 285-304, 2005

• J.A. Bergstra, A. Ponse. Program Algebra with Repeat Instruction, electronic report PRG0602, Programming Research Group - University of Amsterdam, June 2006
  PostScript (gzipped), PDF
  

• J.A. Bergstra, I. Bethke. Predictable and Reliable Program Code: Virtual Machine-based Projection Semantics (submitted for inclusion in the Handbook of Network and Systems Administration), electronic report PRG0603, Programming Research Group - University of Amsterdam, September 2006
  PostScript (gzipped), PDF
  

• J.A. Bergstra, A. Ponse. Projection Semantics for Rigid Loops, electronic report PRG0604, Programming Research Group - University of Amsterdam, September 2006
  PostScript (gzipped), PDF
  

• A. Ponse, M.B. van der Zwaag. An introduction to program and thread algebra, in Logical Approaches to Computational Barriers: Proceedings CiE 2006, pp. 445-458, Springer-Verlag, 2006

• J.A. Bergstra, I. Bethke, A. Ponse. Decision problems for pushdown threads, Acta Informatica, vol. 44, no. 2, pp. 75–90, 2007

• J.A. Bergstra, C.A. Middelburg. Thread algebra for strategic interleaving, Formal Aspects of Computing, vol. 19, no. 4, pp. 445–474, 2007

• A. Ponse, M.B. van der Zwaag. Risk assessment for one-counter threads, Theory of Computing Systems, vol. 43, pp. 563-582, 2008

• T.D. Vu. Denotational semantics for thread algebra, Journal of Logic and Algebraic Programming, vol. 74, no. 2, pp. 94-111, 2008

• J.A. Bergstra, A. Ponse. An Instruction Sequence Semigroup with Involutive Anti-Automorphisms, Scientific Annals of Computer Science, vol. 19, pp. 57-92, 2009

• S.H.P. Schroevers. Expressiveness and extensions of an instruction sequence semigroup, MSc Thesis Master of Logic, University of Amsterdam, 2010

• J.A. Bergstra, I. Bethke. Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows, Theory of Computing Systems, vol. 48, no. 4, pp. 840-864, 2011

• J.A. Bergstra, I. Bethke. On the contribution of backward jumps to instruction sequence expressiveness, Theory of Computing Systems, vol. 50, no. 4, pp. 706-720, 2012

• J.A. Bergstra, C.A. Middelburg. Instruction Sequences for Computer Science, Atlantis Studies in Computing Vol. 2, Atlantis Press, 2012

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

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