Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
From MaRDI portal
Publication:652158
DOI10.1016/j.jlap.2011.06.003zbMath1243.68208WikidataQ56939621 ScholiaQ56939621MaRDI QIDQ652158
Jonathan P. Bowen, Jifeng He, Fan Yang, Huibiao Zhu, Shengchao Qin, Jeff W. Sanders
Publication date: 19 December 2011
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2011.06.003
Uses Software