A reasonable transition rule is proposed for synchronized actions and some equational properties of bisimilarity and weak bisimilarity in the process algebra for reasoning about concurrent actions are presented.
process global store constraint set bisimulation
This is a preview of subscription content, log in to check access
Reiter R. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Lifschitz V (Ed.). Academic Press, New York, 1991, pp.359–380.Google Scholar