Pi calculus
相关论文数: 4
顶级研究者
最高引用论文
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
引用数: 81 • 1997
Sensing Actions, Time, and Concurrency in the Situation Calculus
Stephen Zimmerbaum, Richard B. Scherl
引用数: 8 • 2001
Minimalistic model for navigation of mobile robots around obstacles based on complex-number calculus and inspired by human navigation behavior
T.D. Frank, Timothy Gifford, Surasak Chiangga
引用数: 6 • 2013
Validating trustworthy service composition through VIPLE and pi-calculus
Shenghui Zhao, Yuemin Li, Yang Wang, Yinong Chen
引用数: 2 • 2020