215 citations
- Microsoft (United States)US8 papers
- Johns Hopkins UniversityUS4 papers
- Massachusetts Institute of TechnologyUS3 papers
- Tel Aviv UniversityIL3 papers
- University of California, BerkeleyUS3 papers
- University of ChicagoUS3 papers
- University of MichiganUS3 papers
- University of WashingtonUS3 papers
- Argonne National LaboratoryUS2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Microsoft Research (India)IN2 papers
- Microsoft Research New England (United States)US2 papers
9 papers · 1 filter
A TLA+ Proof System
Kaustuv C. Chaudhuri, Damien Doligez, Leslie Lamport +1
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The l…
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog
Andreas Blass, Yuri Gurevich
A natural liberalization of Datalog is used in the Distributed Knowledge Authorization Language (DKAL). We show that the expressive power of this liberal Datalog is that of existen…
One useful logic that defines its own truth
Andreas Blass, Yuri Gurevich
Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own…
Persistent Queries
Andreas Blass, Yuri Gurevich
We propose a syntax and semantics for interactive abstract state machines to deal with the following situation. A query is issued during a certain step, but the step ends before an…
Randomized Distributed Configuration Management of Wireless Networks: Multi-layer Markov Random Fields and Near-Optimality
Sung-eok Jeon, Chunayi Ji
Distributed configuration management is imperative for wireless infrastructureless networks where each node adjusts locally its physical and logical configuration through informati…
Realizing Fast, Scalable and Reliable Scientific Computations in Grid Environments
Yong Zhao, Ioan Raicu, Ian Foster +3
The practical realization of managing and executing large scale scientific computations efficiently and reliably is quite challenging. Scientific computations often involve thousan…