On the decomposition of asynchronous systems

  • Authors:

  • Robert M. Keller

  • Affiliations:

  • -

  • Venue:
  • SWAT '72 Proceedings of the 13th Annual Symposium on Switching and Automata Theory (swat 1972)
  • Year:
  • 1972

Quantified Score

Hi-index 0.00

Visualization

Abstract

This note defines a new equivalence relation among systems of recursion equations and a method for assigning context-free grammars to these systems, such that (1) The new equivalence implies strong equivalence; (2) Systems are equivalent in the new sense ...