A logic of events (2003)

Cached

Download Links

by Mark Bickford , Robert L. Constable
Citations:10 - 7 self

Active Bibliography

8 MetaPRL - A Modular Logical Environment – Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu - 2003
Naïve Type Theory – Robert L. Constable - 2002
5 Naïve computational type theory – Robert L. Constable - 2002
15 NuPRL’s class theory and its applications – Robert L. Constable, Jason Hickey - 2000
7 Knowledge-based synthesis of distributed systems using event structures – Mark Bickford, Robert C. Constable, Joseph Y. Halpern, Sabina Petride - 2005
Proof Assistants and the Dynamic Nature of Formal Theories ∗ – Robert L. Constable
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
Modeling and Verification of Randomized . . . – Roberto Segala - 1995
6 Quotient Types: A Modular Approach – Aleksey Nogin - 2002
2 A One-Round Algorithm for Virtually Synchronous Group Communication in Wide Are Networks – Roger I Khazan - 2002
8 Formal Foundations of Computer Security – Mark Bickford, Robert Constable - 2008
11 A Linear Metalanguage for Concurrency – Glynn Winskel, Glynn Winskel - 1998
10 Hyperproperties – Michael R. Clarkson, Fred B. Schneider - 2008
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
116 Deriving Bisimulation Congruences for Reactive Systems – James J. Leifer, Robin Milner - 2000
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
2 Generating Event Logics with HigherOrder Processes as Realizers – Mark Bickford, Robert Constable, David Guaspari
4 Events, Causality and Symmetry – Glynn Winskel - 2008
The Formal Derivation of Parallel Triangular System Solvers Using a Coordination-Based Design Method – Michel R. V. Chaudron, Arno C. N. Van Duin