Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language

2009 ◽  
Author(s):  
Huibiao Zhu ◽  
Fan Yang ◽  
Jifeng He ◽  
Jonathan P. Bowen ◽  
Jeff W. Sanders
Keyword(s):  
Operational Semantics ◽  
Algebraic Semantics ◽  
Shared Variable

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

2012 ◽  
Vol 81 (1) ◽  
pp. 2-25 ◽  
Author(s):  
Huibiao Zhu ◽  
Fan Yang ◽  
Jifeng He ◽  
Jonathan P. Bowen ◽  
Jeff W. Sanders ◽  
...  
Keyword(s):  
Operational Semantics ◽  
Algebraic Semantics ◽  
Shared Variable
Sign in / Sign up

Export Citation Format

Share Document