"State Defaults and Ramifications in the Unifying Action Calculus."

Ringo Baumann et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics