Delayed choice for process algebra with abstraction

I. Lee (Editor), P.R. d' Argenio, S. Mauw, S.A. Smolka (Editor)

    Research output: Contribution to conferencePaper

    51 Downloads (Pure)
    Original languageUndefined
    Pages501-515
    Number of pages15
    Publication statusPublished - 1995
    Event6th International Conference on Concurrency Theory, CONCUR 1995 - Philadelphia, United States
    Duration: 21 Aug 199524 Aug 1995
    Conference number: 6

    Conference

    Conference6th International Conference on Concurrency Theory, CONCUR 1995
    Abbreviated titleCONCUR
    CountryUnited States
    CityPhiladelphia
    Period21/08/9524/08/95

    Keywords

    • FMT-PA: PROCESS ALGEBRAS
    • IR-66274
    • EWI-6471

    Cite this

    Lee, I. (Ed.), d' Argenio, P. R., Mauw, S., & Smolka, S. A. (Ed.) (1995). Delayed choice for process algebra with abstraction. 501-515. Paper presented at 6th International Conference on Concurrency Theory, CONCUR 1995, Philadelphia, United States.
    Lee, I. (Editor) ; d' Argenio, P.R. ; Mauw, S. ; Smolka, S.A. (Editor). / Delayed choice for process algebra with abstraction. Paper presented at 6th International Conference on Concurrency Theory, CONCUR 1995, Philadelphia, United States.15 p.
    @conference{6f5a15b4b7074f5590414e9c21a69de4,
    title = "Delayed choice for process algebra with abstraction",
    keywords = "FMT-PA: PROCESS ALGEBRAS, IR-66274, EWI-6471",
    author = "I. Lee and {d' Argenio}, P.R. and S. Mauw and S.A. Smolka",
    year = "1995",
    language = "Undefined",
    pages = "501--515",
    note = "null ; Conference date: 21-08-1995 Through 24-08-1995",

    }

    Lee, I (ed.), d' Argenio, PR, Mauw, S & Smolka, SA (ed.) 1995, 'Delayed choice for process algebra with abstraction' Paper presented at 6th International Conference on Concurrency Theory, CONCUR 1995, Philadelphia, United States, 21/08/95 - 24/08/95, pp. 501-515.

    Delayed choice for process algebra with abstraction. / Lee, I. (Editor); d' Argenio, P.R.; Mauw, S.; Smolka, S.A. (Editor).

    1995. 501-515 Paper presented at 6th International Conference on Concurrency Theory, CONCUR 1995, Philadelphia, United States.

    Research output: Contribution to conferencePaper

    TY - CONF

    T1 - Delayed choice for process algebra with abstraction

    AU - d' Argenio, P.R.

    AU - Mauw, S.

    A2 - Lee, I.

    A2 - Smolka, S.A.

    PY - 1995

    Y1 - 1995

    KW - FMT-PA: PROCESS ALGEBRAS

    KW - IR-66274

    KW - EWI-6471

    M3 - Paper

    SP - 501

    EP - 515

    ER -

    Lee I, (ed.), d' Argenio PR, Mauw S, Smolka SA, (ed.). Delayed choice for process algebra with abstraction. 1995. Paper presented at 6th International Conference on Concurrency Theory, CONCUR 1995, Philadelphia, United States.