Decomposition of functionality: a correctness-preserving LOTOS transformation

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

    Original languageEnglish
    Title of host publicationProceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
    Place of PublicationAmsterdam
    PublisherAssociation for Computing Machinery (ACM)
    Pages229-242
    Number of pages14
    ISBN (Print)0-444-88810-1
    Publication statusPublished - 12 Jun 1990
    EventIFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990 - Ottawa, Canada
    Duration: 12 Jun 199015 Jun 1990
    Conference number: 10

    Conference

    ConferenceIFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990
    Abbreviated titlePSTV 1990
    CountryCanada
    CityOttawa
    Period12/06/9015/06/90

    Keywords

    • METIS-119510

    Cite this

    Langerak, R. (1990). Decomposition of functionality: a correctness-preserving LOTOS transformation. In Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X (pp. 229-242). Amsterdam: Association for Computing Machinery (ACM).