1
abstracts.html
Papers
The following is a list of published papers, please see abstracts for those published OR recently submitted for publication.2
abstracts.html#10
(with T. Costello) Quantifiers over Modalities, Sixth International Conference on Knowledge Representation and Reasoning, Trento Italy, 1998. (to appear)
3
abstracts.html#9
Implicit Programming and the Logic of Constructible Duality, PhD. Thesis, UIUC.
4
abstracts.html#10
(with T. Costello) Quantifiers and Operations on Modalities and Contexts, Fourth International Symposium on Commonsense Reasoning, 1998.
5
abstracts.html#6
Bisimulation and Propositional Intuitionistic Logic, Proceedings of the 8th International Conference on Concurrency Theory, Warsaw Poland, 1997
6
abstracts.html#5
(with T. Costello) Exponentials as Projections from Paraconsistent Logics, First World Congress on Paraconsitency, Gent Belgium, 1997
7
abstracts.html#4
(with T. Costello) Guilt-Free Exponentials, ASL Winter Meeting 1997, Bulletin of Symbolic Logic Vol 3 No 3, 1997
8
abstracts.html#3
Bisimulation and Propositional Intuitionistic Logic, Observational and Logical Equivalence at ESSLLI '96
9
abstracts.html#2
A new semantics for constructible falsity, Logic Colloquium '96, ASL Summer Meeting, Bulletin of the Association of Symbolic Logic, Vol 3 No 2, 1997
10
abstracts.html#1
(with G. Agha and S. Fr\olund and W. Kim and R. Panwar and D. Sturman) Abstraction and Modularity Mechanisms for Concurrent Computing, Chapter In: Research Directions in Concurrent Object-Oriented Programming, Eds. G. Agha and P. Wegner and A. Yonezawa, MIT Press, 1993
11
abstracts.html#0
(with R.K.Shyamasundar and G. Agha) An ACTORS Formalism for Open Concurrent Systems, Proceedings of the Chalmers Workshop on Concurrency, Baastad, Sweden, 1991
Volumes
The following is a list of edited volumes.12
http://proceedings.www6conf.org/
(with Mike Genesereth) The Proceedings of the Sixth International World Wide Web Conference
Special Issue of Computer Networks by Elsevier, December 1997