Materialer

• Bog

  "Concurrency; State Models & Java Programs" -- Jeff Magee & Jeff Kramer Wiley [ http://www.doc.ic.ac.uk/~jnm/book/ ]

  Bogen kan købes i Gad Stakbogladen, Matematisk Institut (Bygn. 530, 1. sal), Aarhus Universitet (86 12 87 44). Prisen er 490 kr (- 10% studenterrabat = 441 kr).

• FSP Materials

  • [ FSP semantics ]

    Formal operational semantics for the FSP language.

  • [ FSP v2.0 additions ]

    Documentation of additions in the version 2.0 of FSP

• Java Links

  • [ Java Precisely ]

    En koncis beskrivelse af programmeringssproget Java. Forfatteren vedligeholder en oversigtside med forskellige versioner af bogen.

  • [ The Java Language Specification ]

    Sprogspecifikationen for Java. Kan downloades fra java.sun.com.

  • [ Java API Specification (v. 1.4.2) ]

    Kan downloades fra java.sun.com.

  • [ The Java Tutorial ]

    Kan downloades fra java.sun.com.

  • [ The Java Thread Tutorial ]

    En tutorial om Java tråde.

  • [ Introduction to the Collections Framework ]

    Omfattende, god og grundig beskrivelse af Javas Collection Framework.

  • [ java.sun.com/j2se/ ]

    Up-to-date beskrivelser af Java-tilbehør m.m.

  • [ How to write doc comments for the Javadoc tool ]

    Anbefalinger for hvorledes man udarbejder dokumentation for Javaprogrammer i form af Javadoc.