Verification and implementation of delay-insensitive processes in restrictive environments

Hemangee K. Kapoor; Mark B. Josephs; Dennis P. Furey

doi:10.1109/CSD.2004.1309119

Verification and implementation of delay-insensitive processes in restrictive environments

Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey

London South Bank University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Original language	English
Title of host publication	Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004
Editors	M. Kishinesky, P. Darondeau
Pages	89-98
Number of pages	10
DOIs	https://doi.org/10.1109/CSD.2004.1309119
Publication status	Published (VoR) - 2004
Event	Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004 - Hamilton, Ont., Canada Duration: 16 Jun 2004 → 18 Jun 2004

Publication series

Name	Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

Conference

Conference	Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004
Country/Territory	Canada
City	Hamilton, Ont.
Period	16/06/04 → 18/06/04

Access to Document

10.1109/CSD.2004.1309119

Cite this

Kapoor, H. K., Josephs, M. B., & Furey, D. P. (2004). Verification and implementation of delay-insensitive processes in restrictive environments. In M. Kishinesky, & P. Darondeau (Eds.), Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004 (pp. 89-98). (Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004). https://doi.org/10.1109/CSD.2004.1309119

Kapoor, Hemangee K. ; Josephs, Mark B. ; Furey, Dennis P. / Verification and implementation of delay-insensitive processes in restrictive environments. Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004. editor / M. Kishinesky ; P. Darondeau. 2004. pp. 89-98 (Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004).

@inproceedings{7493c869ac4b4cfa877a74259e7f5dbd,

title = "Verification and implementation of delay-insensitive processes in restrictive environments",

author = "Kapoor, {Hemangee K.} and Josephs, {Mark B.} and Furey, {Dennis P.}",

year = "2004",

doi = "10.1109/CSD.2004.1309119",

language = "English",

isbn = "0769520774",

series = "Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004",

pages = "89--98",

editor = "M. Kishinesky and P. Darondeau",

booktitle = "Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004",

note = "Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004 ; Conference date: 16-06-2004 Through 18-06-2004",

}

Kapoor, HK, Josephs, MB & Furey, DP 2004, Verification and implementation of delay-insensitive processes in restrictive environments. in M Kishinesky & P Darondeau (eds), Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004. Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004, pp. 89-98, Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004, Hamilton, Ont., Canada, 16/06/04. https://doi.org/10.1109/CSD.2004.1309119

Verification and implementation of delay-insensitive processes in restrictive environments. / Kapoor, Hemangee K.; Josephs, Mark B.; Furey, Dennis P.
Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004. ed. / M. Kishinesky; P. Darondeau. 2004. p. 89-98 (Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Verification and implementation of delay-insensitive processes in restrictive environments

AU - Kapoor, Hemangee K.

AU - Josephs, Mark B.

AU - Furey, Dennis P.

PY - 2004

Y1 - 2004

UR - http://www.scopus.com/inward/record.url?scp=10444244186&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=10444244186&partnerID=8YFLogxK

U2 - 10.1109/CSD.2004.1309119

DO - 10.1109/CSD.2004.1309119

M3 - Conference contribution

AN - SCOPUS:10444244186

SN - 0769520774

SN - 9780769520773

T3 - Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

SP - 89

EP - 98

BT - Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

A2 - Kishinesky, M.

A2 - Darondeau, P.

T2 - Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

Y2 - 16 June 2004 through 18 June 2004

ER -

Kapoor HK, Josephs MB, Furey DP. Verification and implementation of delay-insensitive processes in restrictive environments. In Kishinesky M, Darondeau P, editors, Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004. 2004. p. 89-98. (Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004). doi: 10.1109/CSD.2004.1309119

Verification and implementation of delay-insensitive processes in restrictive environments

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this