Author of the publication

Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems.

, , , and . Acta Inf., (1974)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Bisimulation and Open Maps for Timed Transition Systems., and . Fundam. Informaticae, 38 (1-2): 61-77 (1999)Without Title.. Bulletin of the EATCS, (1993)A calculus of communicating systems with label passing - ten years after., and . Proof, Language, and Interaction, page 599-622. The MIT Press, (2000)EOL Systems with Control Devices.. Acta Inf., (1974)A Calculus for Trust Management., , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 161-173. Springer, (2004)Petri Nets and Other Models of Concurrency., and . Petri Nets, volume 1491 of Lecture Notes in Computer Science, page 587-642. Springer, (1996)Open Maps, Behavioural Equivalences, and Congruences., and . Theor. Comput. Sci., 190 (1): 87-112 (1998)Elementary Transition Systems., , and . Theor. Comput. Sci., 96 (1): 3-33 (1992)Petri Nets, Event Structures and Domains, Part I., , and . Theor. Comput. Sci., (1981)Optimal wavelets for biomedical signal compression., , , , and . Medical Biol. Eng. Comput., 44 (7): 561-568 (2006)