Home /Research /Sensing Actions, Time, and Concurrency in the Situation Calculus
OTHER

Sensing Actions, Time, and Concurrency in the Situation Calculus

Stephen Zimmerbaum, Richard B. Scherl

Year
2001
Citations
8

Keywords

ConcurrencyComputer scienceFrame (networking)Situation calculusPi calculusIndexicalityTheoretical computer scienceProcess calculusProgramming languageEpistemology

Related papers

Browse all OTHER papers