• Journal Article

  Open Access

  Instruction sequence processing operators

  J. A. Bergstra and C. A. Middelburg

  Acta Informatica, 2012, Volume 49, Number 3, Pages 139-172

  • Download PDF (401.1 KB)

• Journal Article

  Open Access

  Synchronous cooperation for explicit multi-threading

  J. A. Bergstra and C. A. Middelburg

  Acta Informatica, 2007, Volume 44, Numbers 7-8, Pages 525-569

  • Download PDF (527.2 KB)

• Journal Article

  Open Access

  A criterion for atomicity revisited

  Wim H. Hesselink

  Acta Informatica, 2007, Volume 44, Number 2, Pages 123-151

  • Download PDF (327.0 KB)
  • View HTML

• Journal Article

  Open Access

  Decision problems for pushdown threads

  Jan A. Bergstra, Inge Bethke and Alban Ponse

  Acta Informatica, 2007, Volume 44, Number 2, Pages 75-90

  • Download PDF (317.9 KB)
  • View HTML

FAQ General info on journals and books Send us your feedback Impressum Site Map Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info