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 journalArticle

136 Downloads (Pure)
Original languageEnglish
Pages (from-to)-
JournalFormal Aspects of Computing
DOIs
Publication statusPublished - 13 Aug 2014

Profiles

Cite this