Denotational semantics and its algebraic derivation for an event-driven system-level language

Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip Brooke

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

223 Downloads (Pure)

Access to Document

@article{1800280dc50943e4933b2576a32524c0,

title = "Denotational semantics and its algebraic derivation for an event-driven system-level language",

author = "Huibiao Zhu and Jifeng He and Shengchao Qin and Phillip Brooke",

year = "2014",

month = aug,

day = "13",

doi = "10.1007/s00165-014-0309-8",

language = "English",

pages = "--",

journal = "Formal Aspects of Computing",

issn = "1433-299X",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Denotational semantics and its algebraic derivation for an event-driven system-level language

AU - Zhu, Huibiao

AU - He, Jifeng

AU - Qin, Shengchao

AU - Brooke, Phillip

PY - 2014/8/13

Y1 - 2014/8/13

U2 - 10.1007/s00165-014-0309-8

DO - 10.1007/s00165-014-0309-8

M3 - Article

SN - 1433-299X

SP - -

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

ER -