Controllable delay-insensitive processes

Mark B. Josephs; Hemangee K. Kapoor

Controllable delay-insensitive processes

Mark B. Josephs^*
, Hemangee K. Kapoor

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)

Original language	English
Pages (from-to)	101-130
Number of pages	30
Journal	Fundamenta Informaticae
Volume	78
Issue number	1
Publication status	Published (VoR) - 2007

Keywords

Controllability
Factorisation
Process algebra
Refinement
Reflection
Testing

Cite this

@article{98cd6bf810184bf0a6b5a1da83201f59,

title = "Controllable delay-insensitive processes",

keywords = "Controllability, Factorisation, Process algebra, Refinement, Reflection, Testing",

author = "Josephs, \{Mark B.\} and Kapoor, \{Hemangee K.\}",

year = "2007",

language = "English",

volume = "78",

pages = "101--130",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "IOS Press",

number = "1",

}

TY - JOUR

T1 - Controllable delay-insensitive processes

AU - Josephs, Mark B.

AU - Kapoor, Hemangee K.

PY - 2007

Y1 - 2007

KW - Controllability

KW - Factorisation

KW - Process algebra

KW - Refinement

KW - Reflection

KW - Testing

UR - https://www.scopus.com/pages/publications/34547262436

UR - https://www.scopus.com/pages/publications/34547262436#tab=citedBy

M3 - Article

AN - SCOPUS:34547262436

SN - 0169-2968

VL - 78

SP - 101

EP - 130

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

IS - 1

ER -

Controllable delay-insensitive processes

Keywords

Other files and links

Fingerprint

Cite this