Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems.

Abstract

The results fall into two primary categories: real-time process algebras and type theories for object oriented programs. The process algebra results include a richer semantic framework for expressing real time processes, the development of an algebra for expressing both preemptive and nonpreemptive processes, axiomatizations of the algebra, implementations of these axiomatizations, and equivalence for Pict, a concurrent object-oriented programming language based on the pi-calculus. The OO results include the development of constraint-based type systems (including inference algorithms) for object-oriented languages.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 24, 1996
Accession Number
ADA312531

Entities

People

  • Amy E. Zwarico

Organizations

  • Johns Hopkins University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Calculus
  • Computer Languages
  • Computer Programming
  • Formal Languages
  • Language
  • Object Oriented Programming
  • Object-Oriented Programming Language
  • Programming Languages
  • Robotics

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.

Technology Areas

  • AI & ML