# 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