( en | de | ru )

 

Disambiguation of "Winkowski, Józef"

Author of the publication

copydeleteadd this publication to your clipboard
A Kernel Language for Programmed Rewriting of (Hyper)graphs.

, and . Acta Inf., 33 (6): 523-546 (1996)

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.

Szymon Józefczuk

Justyna Józefczuk

Józef Fr

Józef Kaczmarczyk

Józef Pawlak

 

Other publications of authors with the same name

A compositional semantics for unmarked predicate/transition nets., , and . Fundam. Informaticae, 14 (1): 109-128 (1991)A Partial Order Representation of Processes of Transforming Graphs., and . Fundam. Informaticae, 31 (3/4): 337-355 (1997)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 Approach to Concurrence.. MFCS, volume 74 of Lecture Notes in Computer Science, page 523-532. Springer, (1979)Towards an Algebra for Timed Behaviours., and . Theor. Comput. Sci., 103 (2): 335-363 (1992)A Communication Concept for Distributed Systems., and . Inf. Process. Lett., 15 (3): 111-114 (1982)Algebras of Partial Sequences - A Tool to Deal with Concurrency.. FCT, volume 56 of Lecture Notes in Computer Science, page 187-198. Springer, (1977)Comments on the Paper by Hendrik Decker and Jürgen Geissler: "Modeling and Simulating Nets of Agencies with BORIS".. International Working Conference on Model Realism, page 64-65. Springer, (1982)An Axiomatic Characterization of Algebras of Processes of Petri Nets.. Fundam. Informaticae, 72 (1-3): 407-420 (2006)Processes of Contextual Nets and their Characteristics.. Fundam. Informaticae, 36 (1): 71-101 (1998)