Delayed choice for process algebra with abstraction

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

Research output: Contribution to conferencePaperAcademicpeer-review

39 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 conferencePaperAcademicpeer-review

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.