%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 Algebraic Approach Language Observation-Oriented Operational Probability Semantics Shared-Variable Timed and formal methods myown to %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 = {2011-08-01T19:43:53.000+0200}, author = {Zhu, Huibiao and He, Jifeng and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2ca8323109e5fe844925478c58a90ff37/jpbowen}, booktitle = {SEW}, crossref = {conf/sew/2007}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.90}, interhash = {cb19d45a4403f02b040467ff3b77f8bd}, intrahash = {ca8323109e5fe844925478c58a90ff37}, keywords = {Algebraic Approach Language Observation-Oriented Operational Probability Semantics Shared-Variable Timed and formal methods myown to}, pages = {131-143}, publisher = {IEEE Computer Society}, timestamp = {2011-08-01T19:43:54.000+0200}, 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 }