Process Algebras for Distributed Logic and ReWire

Abstract

This is an interim report on connecting Distributed Logic and the ReWire language. The connection is via process algebras. Process algebras are used to generate Kripke frames for evaluating Distributed Logic. The generated Kripke frames can also be used to evaluate terms in the ReWire language. The assumptions to read this tech report are heavy. One needs to know Distributed Logic, process algebras, the lambda calculus, and ReWire. Needless to say, the background on those topics cannot be covered here. Process algebras and the lambda calculus are basic computer science theory. The circuit used in section on ReWire does not occur in any device. It is merely a generic circuit devised for this report to illustrate how to connect an FPGA application with a process algebra. The circuit is in no way complete in that one could not actually build it without supplying many additional assumptions and constructions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 02, 2020
Accession Number
AD1108405

Entities

People

  • Gerard Allwein

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Advanced Electronics

DTIC Thesaurus Topics

  • Abstracts
  • Automata Theory
  • Boolean Algebra
  • Calculus
  • Computations
  • Computer Programming
  • Computer Science
  • Equations
  • Language
  • Mathematics
  • Military Research
  • Model Theory
  • Models
  • Notation
  • Set Theory
  • Simulations
  • Theorems

Readers

  • Computer Science.
  • Fluid Dynamics.
  • Integrated Circuit Design and Technology.