External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language

Huibiao Zhu, Fan Yang, Jifeng He. Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. In Shengchao Qin, editor, Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings. Volume 6445 of Lecture Notes in Computer Science, pages 286-308, Springer, 2010. [doi]

Authors

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Fan Yang

This author has not been identified. Look up 'Fan Yang' in Google

Jifeng He

This author has not been identified. Look up 'Jifeng He' in Google
runs on