Fujinami, T. A Process Algebaraic Approach to Situation Semantics. Proceedings of the AC 1995, 263-282.