![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Farrell C.A. Kieronska D.H.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.169, Iss.1, 1996-11, pp. : 39-65
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Multiagent Mission Specification and Execution
Autonomous Robots, Vol. 4, Iss. 1, 1997-03 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Parallel Execution of Nested Parallel Expressions
By Merrall S.C.
Journal of Parallel and Distributed Computing, Vol. 33, Iss. 2, 1996-03 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Efficient and formal generalized symbolic execution
Automated Software Engineering, Vol. 19, Iss. 3, 2012-09 ,pp. :