Workshop on Partial Order Methods in Verification

Abstract

This report consists of the written papers presented at POMIV, the Workshop on Partial Order Methods in Verification held at Princeton July 24-26. POMIV is one of the workshops participating in the DIMACS Special Year in Logic, 1995-1996, and also immediately preceded the Federated Logic Conference (FLoC) held at Rutgers July 27-August 3. The theme of the workshop was the transition from the traditional interleaving model of concurrent computation to the "true noncurrent" model based on computations as partially ordered sets of events.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1996
Accession Number
ADA357327

Entities

People

  • Doron Peled
  • Gerard Holzmann
  • Vaughan Pratt

Organizations

  • Rutgers University–New Brunswick

Tags

Communities of Interest

  • Advanced Electronics
  • C4I
  • Cyber
  • Energy and Power Technologies
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automata
  • Automata Theory
  • Computational Science
  • Computer Programming
  • Computer Science
  • Computers
  • Distributed Computing
  • Electronic Mail
  • Language
  • Mathematical Models
  • Mechanics
  • Parallel Computing
  • Plastic Explosives
  • Programming Languages
  • Scientific Theories
  • Theoretical Computer Science

Readers

  • Academic Conference Management
  • Computer Engineering
  • Computer Programming and Software Development.