 |
|
|
|
| Papers |
|
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
Back
Page maintainer: Catuscia Palamidessi