Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation

D Björklund, Johan Lilius

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    Original languageUndefined/Unknown
    Title of host publicationFourth International Conference on Application of Concurrency to System Design
    PublisherIEEE Computer Society
    Publication statusPublished - 2004
    MoE publication typeA4 Article in a conference publication
    Eventconference -
    Duration: 1 Jan 2010 → …


    Period01/01/10 → …

    Cite this