%0 Conference Paper %1 conf/sew/ZhuHB07 %A Zhu, Huibiao %A He, Jifeng %A Bowen, Jonathan P. %B SEW %D 2007 %I IEEE Computer Society %K %P 131-143 %T Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. %U http://dblp.uni-trier.de/db/conf/sew/sew2007.html#ZhuHB07

@inproceedings{conf/sew/ZhuHB07, added-at = {2023-12-13T09:06:36.000+0100}, author = {Zhu, Huibiao and He, Jifeng and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2ca8323109e5fe844925478c58a90ff37/admin}, booktitle = {SEW}, crossref = {conf/sew/2007}, ee = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.90}, interhash = {cb19d45a4403f02b040467ff3b77f8bd}, intrahash = {ca8323109e5fe844925478c58a90ff37}, keywords = {}, pages = {131-143}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T09:06:36.000+0100}, title = {Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.}, url = {http://dblp.uni-trier.de/db/conf/sew/sew2007.html#ZhuHB07}, year = 2007 }