Protocol Design by Layered Decomposition, a Compositional Approach

W.P.M. Janssen, Jakob Zwiers

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems
    Pages307-326
    Number of pages20
    Publication statusPublished - 1 Sep 1992

    Keywords

    • METIS-119895

    Cite this

    Janssen, W. P. M., & Zwiers, J. (1992). Protocol Design by Layered Decomposition, a Compositional Approach. In Formal Techniques in Real-Time and Fault-Tolerant Systems (pp. 307-326)