DBLP:conf/aaai/GiacomoC96 + redirect page
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach + Has identifier
| Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach |
Has publishing details
pp. 658-663, 1996
Has title
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai96-1.html#GiacomoC96
Has where published
AAAI/IAAI, Vol. 1
Has year
1996
Has author
Giuseppe De Giacomo +, Xiao Jun Chen +
Has identifier
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach +
Categories Proceeding Paper +
|
