Summary: A Language­based Approach to Specification
and Enforcement of Architectural Protocols
Kevin Bierhoff
Darpan Saini
Matthew Kehrt
Majid Al-Meshari
Sangjin Han
Jonathan Aldrich
March 2010
CMU-ISR-10-110
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Two Sigma Investments LLC, New York, NY, kevin.bierhoff@cs.cmu.edu
Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA, USA.
{darpan.saini, jonathan.aldrich} @ cs.cmu.edu
Formerly: Carnegie Mellon University, Pittsburgh, PA, USA.
mkehrt@cs.washington.edu, meshari@stanford.edu
This technical report supercedes CMU-ISRI-07-121.
This work was supported in part by NASA cooperative agreement NNA05CS30A, NSF grants CCF-0546550 and

Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University
Kan, Min-Yen - Department of Computational Science, National University of Singapore

Collections: Computer Technologies and Information Sciences