Papers & Software






Papers (co-)authored by Sophia Knight

[1] Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, and Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes. Transactions on Computational Logic, 13(4):28:1-28:35, October 2012.
[ bib | http ]
[2] Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, and Frank D. Valencia. Spatial and Epistemic Modalities in Constraint-Based Process Calculi. In Proceedings of CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, volume 7454, pages 317-332, Newcastle upon Tyne, United Kingdom, September 2012.
[ bib | http ]
[3] AndrĂ©s Barco, Sophia Knight, and Frank D. Valencia. K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter. In 21st Workshop on Functional and (Constraint) Logic Programming (WFLP2012), Nagoya, Japan, May 2012.
[ bib | http ]
[4] Sophia Knight, Radu Mardare, and Prakash Panangaden. Combining Epistemic Logic and Hennessy-Milner Logic. In Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, pages 219-243, Ithaca, United States, April 2012.
[ bib | http ]

This file has been generated by bibtex2html 1.74


Page maintainer: Catuscia Palamidessi