Superposition: Composition vs refinement of non-deterministic, action-based systems

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

Original language	English
Pages (from-to)	352-366
Number of pages	15
Journal	Electronic Notes in Theoretical Computer Science
Volume	70
Issue number	3
DOIs	https://doi.org/10.1016/S1571-0661(05)82562-9
Publication status	Published - 1 Nov 2002

Access to Document

@article{dab517a33c98493faec15b42e5d5b773,

title = "Superposition: Composition vs refinement of non-deterministic, action-based systems",

author = "A. Lopes and J.L. Fiadeiro",

year = "2002",

month = nov,

day = "1",

doi = "10.1016/S1571-0661(05)82562-9",

language = "English",

volume = "70",

pages = "352--366",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - Superposition

T2 - Composition vs refinement of non-deterministic, action-based systems

AU - Lopes, A.

AU - Fiadeiro, J.L.

PY - 2002/11/1

Y1 - 2002/11/1

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

U2 - 10.1016/S1571-0661(05)82562-9

DO - 10.1016/S1571-0661(05)82562-9

M3 - Article

AN - SCOPUS:23844516209

SN - 1571-0661

VL - 70

SP - 352

EP - 366

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 3

ER -