Rigorous Development of a Distributed Calendar System

Ulla Gamwell Dawids, Hans Henrik Løvengreen, J.W. de Bakker (Editor), A.J. Nijman (Editor), P.C. Treleaven (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationParallel Architectures and Languages Europe : Parallel Languages on PARLE
    VolumeII
    Place of PublicationLondon, UK
    PublisherSpringer Verlag
    Publication date1987
    Pages188-205
    ISBN (Print)0-387-17945-3
    Publication statusPublished - 1987
    EventPARLE Parallel Architectures and Languages Europe, Volume II: Parallel Languages -
    Duration: 1 Jan 1987 → …

    Conference

    ConferencePARLE Parallel Architectures and Languages Europe, Volume II: Parallel Languages
    Period01/01/1987 → …

    Cite this

    Dawids, U. G., Løvengreen, H. H., de Bakker, J. W. (Ed.), Nijman, A. J. (Ed.), & Treleaven, P. C. (Ed.) (1987). Rigorous Development of a Distributed Calendar System. In Parallel Architectures and Languages Europe: Parallel Languages on PARLE (Vol. II, pp. 188-205). Springer Verlag.