//
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: Sabina Petride

4 results


Publication Knowledge-based synthesis of distributed systems using event structures | cite »
by Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
2005

Publication Knowledge-Based Synthesis of Distributed Systems Using Event Structures
by Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
2004

Seminar Uri Abraham's Models for Concurrency
by Robert L. Constable, Sabina Petride
January 27, 2003

Seminar The Calculemus Autumn School
by Christoph Kreitz, Sabina Petride, Matthew Fluet
October 28, 2002