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

Abstract

This grant has been used to fund research in process algebras. The process algebra results include a richer semantic framework for expressing real-time processes, the development of an algebra for expressing both pre-emptive and nonpreemptive processes, axiomatizations of the algebras, implementations of these axiomatizations, and equivalences for Pict, a concurrent object-oriented programming language based on the pi-calculus.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 11, 1998
Accession Number
ADA342735

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
  • Computer Science
  • Computers
  • Language
  • Linear Programming
  • Object Oriented Programming
  • Object-Oriented Programming Language
  • Operations Research
  • Programming Languages
  • Robotics
  • Scheduling (Production)
  • Theoretical Computer Science

Readers

  • Mathematical Modeling and Probability Theory.
  • Software Engineering.