Rely-Guarantee Protocols

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2014
Accession Number
AD1188454

Entities

People

  • Filipe Militao
  • Jonathan Erik Aldrich
  • Luis Caires

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Contracts
  • Guarantees
  • Information Operations
  • Instructions
  • Lightweight
  • Military Research
  • Monitoring
  • Organizational Structure
  • Reasoning
  • Security
  • Standards
  • Triangles
  • Universities
  • Verification