Operational and Denotational Models for Languages Supporting Nondeterminism and Synchronization

Abstract

The goal of our research is to understand better the relationship between determinism and nondeterminism, and how this relationship can be reflected accurately in semantic models for high-level programming languages. The languages we focus on are uniform languages, such as CCS and CSP whose syntax is given in terms of uninterpreted atomic actions. Such languages are useful in understanding the way concurrent processes communicate and cooperate. Our approach is to explore the use of spectral theory to model the relationship between determinism and nondeterminism.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1993
Accession Number
ADA270757

Entities

People

  • Michael William Mislove

Organizations

  • Tulane University of Louisiana

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Contracts
  • Electronic Mail
  • Harmonic Analysis
  • Language
  • Models
  • Programming Languages
  • Semantic Models
  • Semantics
  • South Carolina
  • Theoretical Computer Science
  • Universities
  • Workshops

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Joint Military Operations and Doctrine.
  • Materials Science and Engineering.