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

Hdl Handle:
http://hdl.handle.net/10149/594436
Title:
Denotational semantics and its algebraic derivation for an event-driven system-level language
Authors:
Zhu, H.; He, J. (Jifeng); Qin, S. (Shengchao); Brooke, P. J. (Phillip)
Affiliation:
Teesside University. Digital Futures Institute
Citation:
Zhu, H., He, J., Qin, S., Brooke, P. J. (2014) 'Denotational semantics and its algebraic derivation for an event-driven system-level language' Formal Aspects of Computing; 27 (1):133
Publisher:
Springer
Journal:
Formal Aspects of Computing
Issue Date:
13-Aug-2014
URI:
http://hdl.handle.net/10149/594436
DOI:
10.1007/s00165-014-0309-8
Additional Links:
http://link.springer.com/10.1007/s00165-014-0309-8
Type:
Article
Language:
en
ISSN:
0934-5043; 1433-299X
Rights:
Following 12 month embargo author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo [Accessed: 20/01/2016]

Full metadata record

DC FieldValue Language
dc.contributor.authorZhu, H.en
dc.contributor.authorHe, J. (Jifeng)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorBrooke, P. J. (Phillip)en
dc.date.accessioned2016-01-20T15:47:45Zen
dc.date.available2016-01-20T15:47:45Zen
dc.date.issued2014-08-13en
dc.identifier.citationFormal Aspects of Computing; 27 (1):133en
dc.identifier.issn0934-5043en
dc.identifier.issn1433-299Xen
dc.identifier.doi10.1007/s00165-014-0309-8en
dc.identifier.urihttp://hdl.handle.net/10149/594436en
dc.language.isoenen
dc.publisherSpringeren
dc.relation.urlhttp://link.springer.com/10.1007/s00165-014-0309-8en
dc.rightsFollowing 12 month embargo author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo [Accessed: 20/01/2016]en
dc.titleDenotational semantics and its algebraic derivation for an event-driven system-level languageen
dc.typeArticleen
dc.contributor.departmentTeesside University. Digital Futures Instituteen
dc.identifier.journalFormal Aspects of Computingen
or.citation.harvardZhu, H., He, J., Qin, S., Brooke, P. J. (2014) 'Denotational semantics and its algebraic derivation for an event-driven system-level language' Formal Aspects of Computing; 27 (1):133en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.