State Defaults and Ramifications in the Unifying Action Calculus

Open in new window