Delayed choice for process algebra with abstraction

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

Research output: Contribution to conference › Paper › peer-review

151 Downloads (Pure)

Original language	Undefined
Pages	501-515
Number of pages	15
Publication status	Published - 1995
Event	6th International Conference on Concurrency Theory, CONCUR 1995 - Philadelphia, United States Duration: 21 Aug 1995 → 24 Aug 1995 Conference number: 6

Conference	6th International Conference on Concurrency Theory, CONCUR 1995
Abbreviated title	CONCUR
Country/Territory	United States
City	Philadelphia
Period	21/08/95 → 24/08/95

Keywords

@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 = "6th International Conference on Concurrency Theory, CONCUR 1995 ; Conference date: 21-08-1995 Through 24-08-1995",

}

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.

N1 - Conference code: 6

PY - 1995

Y1 - 1995

KW - FMT-PA: PROCESS ALGEBRAS

KW - IR-66274

KW - EWI-6471

M3 - Paper

SP - 501

EP - 515

T2 - 6th International Conference on Concurrency Theory, CONCUR 1995

Y2 - 21 August 1995 through 24 August 1995

ER -