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

✍ Scribed by Huibiao Zhu; Fan Yang; Jifeng He; Jonathan P. Bowen; Jeff W. Sanders; Shengchao Qin

• Book ID: 113720761
• Publisher: Elsevier Science
• Year: 2012
• Tongue: English
• Weight: 411 KB
• Volume: 81
• Category: Article
• ISSN: 1567-8326
• DOI: 10.1016/j.jlap.2011.06.003