Elgot theories

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


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.


Equivalence Relation Transition System Transition Relation Structural Theorem Regular Tree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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