Elgot theories

  • Gheorghe Ştefănescu
Part of the Discrete Mathematics and Theoretical Computer Science book series (DISCMATH)

Abstract

The one-way behaviour we are studying here is “half” of the standard input-output behaviour. The latter is defined in terms of input-output paths, while the former uses all finite and infinite paths connecting one of the network interfaces. Actually, there are two dual versions of the one-way behaviour: the input behaviour,which considers all paths starting from the network’s inputs, and the output behaviour, which takes into account all the paths arriving at the network’s outputs.

Keywords

Nism 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 2000

Authors and Affiliations

  • Gheorghe Ştefănescu
    • 1
  1. 1.Faculty of MathematicsUniversity of BucharestBucharestRomainia

Personalised recommendations