Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Deduction / Operational semantics / Algebraic semantics / Calculus / BL / Soundness / Denotational semantics / Logic / Programming language semantics / Mathematical logic


Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions Chengcheng Wu Yongxin Zhao
Add to Reading List

Document Date: 2012-08-27 15:08:44

Open Document

File Size: 378,29 KB

Share Result on Facebook

Facility

Instantaneous Reactions Chengcheng Wu Yongxin Zhao Huibiao Zhu Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute / /

Organization

Instantaneous Reactions Chengcheng Wu Yongxin Zhao Huibiao Zhu Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute / /

Person

Event Guard / /

Position

guard / /

ProgrammingLanguage

Esterel / /

Region

East China / /

SocialTag