Logic and lattices for distributed programming

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 14, 2012
Source ID
10.1145/2391229.2391230

Entities

People

  • David Maier
  • Joseph M. Hellerstein
  • Neil Conway
  • Peter Alvaro
  • William R. Marczak

Organizations

  • Air Force Office of Scientific Research
  • Division of Computer and Network Systems
  • Division of Information and Intelligent Systems
  • Portland State University
  • University of California, Berkeley