TA4SI

This page is devoted to the NWO project Thread Algebra for Strategic Interleaving.

Project Data

• Project starts October 1, 2005
• NWO Project Page
• Research Team:
  • Inge Bethke (Project Leader)
  • Jan Bergstra
  • Alban Ponse
  • Bob Diertens
  • Tie Hou (Caroline)

Links

• PGA: ProGram Algebra
• Grid Computing Master
• Microthreading
• From Jan Bergstra's home page: Why Thread Algebra?, and Why Not Thread Algebra?

Documents and References

Some course material (handouts, slides) of the master course Theory and Application of Multithreading (2006) can be found here.

• Distributed strategic interleaving with load balancing. J.A. Bergstra and C.A. Middelburg. Future Generation Computer Systems, Elsevier, doi:10.1016/j.future.2007.08.001, 2007.
• Execution architectures for program algebra. J.A. Bergstra and A. Ponse. J. of Applied Logic 5:170-192, 2007.
• Risk Assessment for One-Counter Threads. A. Ponse and M.B. van der Zwaag. To appear in Theory of Computing Systems, Springer-Verlag, DOI 10.1007/s00224-007-9034-5. (PDF)
• Synchronous Cooperation for Explicit Multi-Threading J.A. Bergstra and C.A. Middelburg. Report PRG0607, September 2006.
• An Introduction to Program and Thread Algebra. A. Ponse and M.B. van der Zwaag. In: A. Beckmann et al. (Eds.), CiE 2006, LNCS 3988, pp. 445-458. Springer-Verlag, 2006. (PDF)
• Maurer computers for pipelined instruction processing. J.A. Bergstra and C.A. Middelburg. Computing Science Department, Eindhoven University of Technology, 2006. (Technical report, not online available yet)
• Simulating Turing Machines on Maurer Machines. J.A. Bergstra and C.A. Middelburg. Computing Science Department, Eindhoven University of Technology, 2005. Technical Report 200528. (PDF)
• Polarized process algebra with reactive composition. J.A. Bergstra and I. Bethke. Theoretical Computer Science 343, pp. 285-304, 2005.
• A Thread Algebra with Multi-Level Strategic Interleaving. J.A. Bergstra and C.A. Middelburg. Longer version of the TUE report 200441, see below. (PDF)
• Decision Problems for Pushdown Threads. J.A. Bergstra, I. Bethke, and A. Ponse. Report PRG0502, Programming Research Group, University of Amsterdam, June 2005. The Bulletin of Symbolic Logic 12:311-312, 2006.
• Maurer Computers with Single-Thread Control. J.A. Bergstra and C.A. Middelburg. Technical Report 200517 Computing Science Department, Eindhoven University of Technology, 2005. (PDF)
• Thread Algebra with Multi-Level Strategies. J.A. Bergstra and C.A. Middelburg. Technical Report 200508, Computing Science Department, Eindhoven University of Technology, 2005. (PDF) Fundamenta Informaticae 71(2/3):153-182, 2006.
• A Thread Algebra with Multi-Level Strategic Interleaving. J.A. Bergstra and C.A. Middelburg. Technical Report 200441, Computing Science Department, Eindhoven University of Technology, 2004. (PDF)
• Thread Algebra for Strategic Interleaving. J.A. Bergstra and C.A. Middelburg. Technical Report PRG0404, Programming Research Group, University of Amsterdam, 2004.
• Combining programs and state machines. J.A. Bergstra and A. Ponse. Journal of Logic and Algebraic Programming 51(2):175-192, 2002. (Special issue on Program Algebra edited by C.A. Middelburg.) (PDF)
• Molecule-oriented programming in Java. J.A. Bergstra. Information and Software Technology 44, pp. 617-638, 2002.