|
7
|
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
|
|
2
|
Naïve computational type theory
– Robert L. Constable
- 2002
|
|
14
|
NuPRL’s class theory and its applications
– Robert L. Constable, Jason Hickey
- 2000
|
|
4
|
Knowledge-based synthesis of distributed systems using event structures
– Mark Bickford, Robert C. Constable, Joseph Y. Halpern, Sabina Petride
- 2005
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 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, Roger I Khazan
- 1998
|
|
8
|
Hyperproperties
– Michael R. Clarkson, Fred B. Schneider
- 2008
|
|
10
|
A Linear Metalanguage for Concurrency
– Glynn Winskel, Glynn Winskel
- 1998
|
|
5
|
Description and Verification of Mobile Processes with Graph Rewriting Techniques
– Barbara König
|
|
1
|
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
– Xian Xu
|
|
110
|
Deriving Bisimulation Congruences for Reactive Systems
– James J. Leifer, Robin Milner
- 2000
|
|
|
The Formal Derivation of Parallel Triangular System Solvers Using a Coordination-Based Design Method
– Michel R. V. Chaudron, Arno C. N. Van Duin
|
|
242
|
Relations in Concurrency
– Glynn Winskel
|
|
8
|
Reduction Semantics for Ambient Calculi
– Maria Grazia Vigliotti
- 2004
|
|
2
|
A Programming Language For Local Computations In Graphs (L.I.D.A.E.Lo.C.)
– Mohamed Mosbah, Rodrigue Ossamy
- 2004
|
|
14
|
An Inheritance-Based Technique for Building Simulation Proofs Incrementally
– Idit Keidar, Roger Khazan, Nancy Lynch, Alex Shvartsman
- 2000
|
