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

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

Access to Document

@article{d5443091abfb4c3fa7474cf69b5e5496,

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

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

year = "2004",

month = apr,

day = "1",

doi = "10.1007/s00165-003-0021-6",

language = "English",

volume = "16",

pages = "5--18",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer London",

number = "1",

}

TY - JOUR

T1 - Superposition

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

AU - Lopes, A.

AU - Fiadeiro, J.L.

PY - 2004/4/1

Y1 - 2004/4/1

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

U2 - 10.1007/s00165-003-0021-6

DO - 10.1007/s00165-003-0021-6

M3 - Article

AN - SCOPUS:21044457100

SN - 0934-5043

VL - 16

SP - 5

EP - 18

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 1

ER -