Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/aaai/GiacomoC96, title={Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach}, pages={658-663}, year={1996}, booktitle={AAAI/IAAI, Vol. 1}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai96-1.html#GiacomoC96}, author={Giuseppe De Giacomo and Xiao Jun Chen} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Reasoning_about_Nondeterministic_and_Concurrent_Actions:_A_Process_Algebra_Approach"
Personal tools