Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: David Guaspari

7 results


Publication Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
by Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
September 01, 2015

Publication Formal Specification, Verification, and Implementation of Fault-Tolerant Systems
by Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
March 31, 2013

Math Book Introduction to EventML
by Mark Bickford, Robert L. Constable, Richard Eaton, David Guaspari
February 03, 2012

Publication Encoding Pi Calculus | cite »
by David Guaspari
2010

Publication Generating Event Logics with Higher-Order Processes as Realizers | cite »
by Mark Bickford, Robert L. Constable, David Guaspari
2010

Publication Formalizing chain replication
by Mark Bickford, David Guaspari
2006

Publication A Programming Logic for Distributed Systems | cite »
by Mark Bickford, David Guaspari
2005