eCommons@Cornell: Browsing eCommons

Browsing by Author Bickford, Mark

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 7 to 10 of 10

Issue Date	Title	Author(s)
13-Feb-2004	Knowledge-Based Sythesis of Distributed Systems Using Event Structures	Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina
7-Mar-2003	A Logic of Events	Bickford, Mark; Constable, Robert L.
23-Jan-2012	The Logic of Events, a framework to reason about distributed systems	Bickford, Mark; Constable, Robert; Rahli, Vincent
3-Feb-2003	A Nuprl-PVS Connection: Integrating Libraries of Formal Mathematics.	Allen, Stuart F.; Bickford, Mark; Constable, Robert; Eaton, Richard; Kreitz, Christoph.

Showing results 7 to 10 of 10