Non-interleaving semantics for mobile processes

By Degano P.   Priami C.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 237-270

Elsevier

Access to resources Recommend Favorite

Exploiting interleaving semantics in symbolic state-space generation

By Ciardo Gianfranco   Lüttgen Gerald   Miner Andrew  

Formal Methods in System Design, Vol. 31, Iss. 1, 2007-08 ,pp. : 63-100

Springer Publishing Company

Access to resources Recommend Favorite

Interleaving Planning and Robot Execution for Asynchronous User Requests

By Haigh K.Z.   Veloso M.M.  

Autonomous Robots, Vol. 5, Iss. 1, 1998-03 ,pp. : 79-95

Springer Publishing Company

Access to resources Recommend Favorite

Locality and interleaving semantics in calculi for mobile processes

By Sangiorgi D.  

Theoretical Computer Science, Vol. 155, Iss. 1, 1996-02 ,pp. : 39-83

Elsevier

Access to resources Recommend Favorite

A Goal-Directed Decision Procedure for Hybrid PDL

By Kaminski Mark   Smolka Gert  

Journal of Automated Reasoning, Vol. 52, Iss. 4, 2014-04 ,pp. : 407-450

Springer Publishing Company

Access to resources Recommend Favorite