Pi calculus

Related papers: 4

Top Researchers

Hector J. Levesque

Institution: —

Yves Lespérance

Institution: —

Richard B. Scherl

Institution: —

Yinong Chen

Institution: —

Timothy Gifford

Institution: —

Giuseppe De Giacomo

Institution: —

Shenghui Zhao

Institution: —

Stephen Zimmerbaum

Institution: —

T.D. Frank

Institution: —

Surasak Chiangga

Institution: —

Top Cited Papers

Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus

Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque

Citations: 81 • 1997

Sensing Actions, Time, and Concurrency in the Situation Calculus

Stephen Zimmerbaum, Richard B. Scherl

Citations: 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

Citations: 6 • 2013

Validating trustworthy service composition through VIPLE and pi-calculus

Shenghui Zhao, Yuemin Li, Yang Wang, Yinong Chen

Citations: 2 • 2020

Related Technologies

Artificial intelligenceComputer scienceMathematicsRobotMobile robotTheoretical computer scienceProgramming languageSimulationHuman–computer interactionFrame (networking)