Carolyn L. Talcott

4 published titles

Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2

(Contributor)

1 edition

Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings

(Contributor)

1 edition

Formal modeling : actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

(Contributor)

1 edition

Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday

(Contributor)

1 edition