Advertisement

Acta Informatica

, Volume 28, Issue 1, pp 83–94 | Cite as

A characterization of set representable labeled partial 2-structures through decompositions

  • A. Ehrenfeucht
  • G. Rozenberg
Article
  • 29 Downloads

Summary

The notion of the product of (initialized) labeled partial 2-structures is introduced, and then set representable (initialized) labeled partial 2-structures are characterized in terms of products of binary switches which are “very simple” (initialized) labeled partial 2-structures.

Keywords

Product Operation Label Transition System Binary Switch Compositional Proof Partial Substructure 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ER 1] Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part I: Clans, morphisms, and basic subclasses. Theor. Comput. Sci.70, 277–304 (1990).zbMATHCrossRefMathSciNetGoogle Scholar
  2. [ER 2] Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part II: Representation through labeled tree families. Theor. Comput. Sci.70, 305–342 (1990)zbMATHCrossRefMathSciNetGoogle Scholar
  3. [ER 3] Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part I: Basic notions and the representation problem. Acta Inf.27, 315–342 (1990)zbMATHMathSciNetGoogle Scholar
  4. [ER 4] Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part II: State spaces of concurrent systems. Acta Inf.27, 343–368 (1990)zbMATHMathSciNetCrossRefGoogle Scholar
  5. [ER 5] Rozenberg, G., Thiagarajan, P.S.: Petri nets: basic notions, structure, behaviour. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.) Current trends in concurrency. (Lect. Notes Comput. Sci., vol. 224, pp. 585–668) Berlin Heidelberg New York: Springer 1986CrossRefGoogle Scholar
  6. [NRT] Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems (manuscript)Google Scholar
  7. [W] Winskel, G.: A compositional proof system on a category of labeled transition systems. Inf. Control (in press 1990)Google Scholar

Copyright information

© Springer-Verlag 1990

Authors and Affiliations

  • A. Ehrenfeucht
    • 1
  • G. Rozenberg
    • 1
    • 2
  1. 1.Department of Computer ScienceUniversity of Colorado at BoulderBoulderUSA
  2. 2.Department of Computer ScienceLeiden UniversityLeidenThe Netherlands

Personalised recommendations