journal article Mar 01, 1990

Partial (set) 2-structures

View at Publisher Save 10.1007/bf00264611
Topics

No keywords indexed for this article. Browse by subject →

References
5
[1]
Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part I: Clans, morphisms, and basic subclasses. Theor. Comput. Sci. (to appear) 10.1016/0304-3975(90)90129-6
[2]
Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part II: Representation through labeled tree families. Theor. Comput. Sci. (to appear) 10.1016/0304-3975(90)90130-a
[3]
Harary, F.: Graph theory. Reading, Mass: Addison-Wesley 1989
[4]
Reisig, W.: Pétri nets: An introduction. Berlin Heidelberg New York: Springer 1985 10.1007/978-3-642-69968-9
[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, pp. 585–668. Berlin Heidelberg New York: Springer 1986 10.1007/bfb0027048
Cited By
172
Partial (set) 2-structures

A. Ehrenfeucht, G. Rozenberg · 1990

Acta Informatica
Metrics
172
Citations
5
References
Details
Published
Mar 01, 1990
Vol/Issue
27(4)
Pages
315-342
License
View
Cite This Article
A. Ehrenfeucht, G. Rozenberg (1990). Partial (set) 2-structures. Acta Informatica, 27(4), 315-342. https://doi.org/10.1007/bf00264611
Related

You May Also Like

The programming language pascal

N. Wirth · 1971

501 citations

Partial (set) 2-structures

A. Ehrenfeucht, G. Rozenberg · 1990

77 citations

Verification of population protocols

Javier Esparza, Pierre Ganty · 2016

28 citations

Testing for refinement in Circus

Ana Cavalcanti, Marie-Claude Gaudel · 2011

26 citations