Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

Hdl Handle:
http://hdl.handle.net/10149/142032
Title:
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Authors:
Zhu, H. (Huibiao); Yang, F. (Fan); He, J. (Jifeng); Bowen, J. P. (Jonathan); Sanders, J. W. (Jeff); Qin, S. (Shengchao)
Affiliation:
Teesside University. School of Computing.
Citation:
Zhu, H. et. al. (2011) 'Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language', Journal of Logic and Algebraic Programming, 81 (1), pp.2-25.
Publisher:
Elsevier
Journal:
Journal of Logic and Algebraic Programming
Issue Date:
Jan-2012
URI:
http://hdl.handle.net/10149/142032
DOI:
10.1016/j.jlap.2011.06.003
Additional Links:
http://linkinghub.elsevier.com/retrieve/pii/S1567832611000610
Type:
Article
Language:
en
Keywords:
PTSC; operational semantics; algebraic semantics; semantic linking; head normal form; animation
ISSN:
15678326
Rights:
Author cannot archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 09/09/2011]
Citation Count:
0 [Web of Science and Scopus, 09/09/2011]

Full metadata record

DC FieldValue Language
dc.contributor.authorZhu, H. (Huibiao)en
dc.contributor.authorYang, F. (Fan)en
dc.contributor.authorHe, J. (Jifeng)en
dc.contributor.authorBowen, J. P. (Jonathan)en
dc.contributor.authorSanders, J. W. (Jeff)en
dc.contributor.authorQin, S. (Shengchao)en
dc.date.accessioned2011-09-09T10:40:20Z-
dc.date.available2011-09-09T10:40:20Z-
dc.date.issued2012-01-
dc.identifier.citationJournal of Logic and Algebraic Programming; 81 (1): pp.2-25.en
dc.identifier.issn15678326-
dc.identifier.doi10.1016/j.jlap.2011.06.003-
dc.identifier.urihttp://hdl.handle.net/10149/142032-
dc.language.isoenen
dc.publisherElsevieren
dc.relation.urlhttp://linkinghub.elsevier.com/retrieve/pii/S1567832611000610en
dc.rightsAuthor cannot archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 09/09/2011]en
dc.subjectPTSCen
dc.subjectoperational semanticsen
dc.subjectalgebraic semanticsen
dc.subjectsemantic linkingen
dc.subjecthead normal formen
dc.subjectanimationen
dc.titleLinking operational semantics and algebraic semantics for a probabilistic timed shared-variable languageen
dc.typeArticleen
dc.contributor.departmentTeesside University. School of Computing.en
dc.identifier.journalJournal of Logic and Algebraic Programmingen
ref.citationcount0 [Web of Science and Scopus, 09/09/2011]en
or.citation.harvardZhu, H. et. al. (2011) 'Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language', Journal of Logic and Algebraic Programming, 81 (1), pp.2-25.en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.