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 journalArticlepeer-review

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

Cite this