Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract). Baier, J. A. In ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications, Saarbruecken, Germany, August, 1998.
Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract) [pdf]Paper  bibtex   1 download  
@InProceedings{bai-pin98,
        author = {Jorge A. Baier},
        title = {Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract)},
        booktitle = {ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications},
        address = {Saarbruecken, Germany},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-pin98.pdf},
        month = {August},
        year = 1998
}
Downloads: 1