Author of the publication

Modelling a Solution for a Control Problem in Distributed Systems by Restrictions.

, , and . Formale Modelle für Informationssysteme, volume 21 of Informatik-Fachberichte, page 199-201. Springer, (1979)

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

An Algebraic Approach to Concurrence.. MFCS, volume 74 of Lecture Notes in Computer Science, page 523-532. Springer, (1979)Proving Properties of Programs by Means of Predicate Logic.. MFCS, volume 32 of Lecture Notes in Computer Science, page 465-471. Springer, (1975)An algebraic characterization of independence of Petri net processes.. Inf. Process. Lett., 88 (1-2): 73-81 (2003)Concurrent Programs.. MFCS, volume 28 of Lecture Notes in Computer Science, page 202-221. Springer, (1974)Determining Processes by Violations., and . MFCS, volume 53 of Lecture Notes in Computer Science, page 549-559. Springer, (1977)Modelling a Solution for a Control Problem in Distributed Systems by Restrictions., , and . Formale Modelle für Informationssysteme, volume 21 of Informatik-Fachberichte, page 199-201. Springer, (1979)Towards a Framework for Modelling Behaviours of Hybrid Systems.. Fundam. Informaticae, 80 (1-3): 311-332 (2007)A Programming Language for Deriving Hypergraphs., and . CAAP, volume 581 of Lecture Notes in Computer Science, page 221-231. Springer, (1992)Protocols of Accessing Overlapping Sets of Resources.. Inf. Process. Lett., 12 (5): 239-243 (1981)Processes in Structures., and . Graph-Grammars and Their Application to Computer Science and Biology, volume 73 of Lecture Notes in Computer Science, page 317-330. Springer, (1978)