Expressing the Formal Semantics of CSP and CP or ADA Tasking with the Temporal Logic Language XYZ/E.

Abstract

A temporal logic language XYZ/E is introduced. It is a temporal logic system as well as a programming language. it has two forms: the internal form is in lower level, but there are several abbreviation rules which can transform a program in internal form into a higher level external form and vice versa. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1981
Accession Number
ADA111504

Entities

People

  • Chih-sung Tang

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Information Science
  • Language
  • Petri Nets
  • Programming Languages
  • Scientific Research
  • Security
  • Semantics
  • Universities
  • Words (Language)

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.