×

zbMATH — the first resource for mathematics

Winkowski, Jozef

Compute Distance To:
Author ID: winkowski.jozef Recent zbMATH articles by "Winkowski, Jozef"
Published as: Winkowski, Jozef; Winkowski, Józef; Winkowski, J.
Documents Indexed: 71 Publications since 1966, including 8 Books

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 68 times in 52 Documents Cited by Year
Behaviours of concurrent systems. Zbl 0445.68044
Winkowski, Jozef
16
1980
Transformations of structures: An algebraic approach. Zbl 0491.68035
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef
10
1981
An algebraic description of system behaviours. Zbl 0493.68049
Winkowski, Jozef
8
1982
Reachability in contextual nets. Zbl 1003.68106
Winkowski, Józef
5
2002
Towards an algebra for timed behaviours. Zbl 0772.68037
Maggiolo-Schettini, Andrea; Winkowski, Józef
3
1992
An algebraic characterization of the behaviour of non-sequential systems. Zbl 0374.94038
Winkowski, Jozef
2
1977
Programmed derivations of relational structures. Zbl 0768.68071
Maggiolo-Schettini, Andrea; Winkowski, Józef
2
1991
Modeling a solution for a control problem in distributed systems by restrictions. Zbl 0441.68021
Maggiolo-Schettini, Andrea; Wedde, Horst; Winkowski, Jozef
2
1981
Processes of transforming structures. Zbl 0488.68040
Maggiolo-Schettini, Andrea; Winkowski, Jozef
2
1982
A compositional semantics for timed Petri nets. Zbl 0697.68062
Maggiolo-Schettini, Andrea; Winkowski, Józef
2
1990
An algebraic description of processes of timed Petri nets. Zbl 0823.68077
Winkowski, Józef
1
1994
Algebras of partial sequences - a tool to deal with concurrency. Zbl 0382.68010
Winkowski, Jozef
1
1977
An algebraic characterization of derivability relations. Zbl 0383.68011
Maggiolo Schettini, Andrea; Winkowski, Jozef
1
1978
A formalism for describing non-sequential processes. Zbl 0402.68037
Winkowski, Jozef
1
1978
An algebraic approach to concurrence. Zbl 0428.68068
Winkowski, Jozef
1
1979
A kernel language for programmed rewriting of (hyper)graphs. Zbl 0849.68072
Maggiolo-Schettini, Andrea; Winkowski, Józef
1
1996
Processes and processors. Zbl 0257.68041
Winkowski, Jozef
1
1973
A natural method of proving properties of programs. Zbl 0315.68013
Winkowski, Jozef
1
1975
Towards an understanding of computer simulation. Zbl 0334.68021
Winkowski, Jozef
1
1976
Concurrent programs. Zbl 0354.68059
Winkowski, J.
1
1975
Towards a programming language for manipulating relational data bases. Zbl 0522.68099
Maggiolo-Schettini, Andrea; Winkowski, Jozef
1
1983
A distributed implementation of Petri nets. Zbl 0525.68036
Winkowski, Jozef
1
1983
Event structure representation of the behaviour of place/transition systems. Zbl 0657.68067
Winkowski, Józef
1
1988
An equivalence of communicating processes in distributed environments. Zbl 0674.68017
Winkowski, Józef
1
1989
Concatenable weighted pomsets and their applications to modelling processes of Petri nets. Zbl 0867.68086
Winkowski, Józef
1
1996
A method of realisation of Markov chains. Zbl 0177.45602
Winkowski, Józef
1
1968
Reachability in contextual nets. Zbl 1003.68106
Winkowski, Józef
5
2002
A kernel language for programmed rewriting of (hyper)graphs. Zbl 0849.68072
Maggiolo-Schettini, Andrea; Winkowski, Józef
1
1996
Concatenable weighted pomsets and their applications to modelling processes of Petri nets. Zbl 0867.68086
Winkowski, Józef
1
1996
An algebraic description of processes of timed Petri nets. Zbl 0823.68077
Winkowski, Józef
1
1994
Towards an algebra for timed behaviours. Zbl 0772.68037
Maggiolo-Schettini, Andrea; Winkowski, Józef
3
1992
Programmed derivations of relational structures. Zbl 0768.68071
Maggiolo-Schettini, Andrea; Winkowski, Józef
2
1991
A compositional semantics for timed Petri nets. Zbl 0697.68062
Maggiolo-Schettini, Andrea; Winkowski, Józef
2
1990
An equivalence of communicating processes in distributed environments. Zbl 0674.68017
Winkowski, Józef
1
1989
Event structure representation of the behaviour of place/transition systems. Zbl 0657.68067
Winkowski, Józef
1
1988
Towards a programming language for manipulating relational data bases. Zbl 0522.68099
Maggiolo-Schettini, Andrea; Winkowski, Jozef
1
1983
A distributed implementation of Petri nets. Zbl 0525.68036
Winkowski, Jozef
1
1983
An algebraic description of system behaviours. Zbl 0493.68049
Winkowski, Jozef
8
1982
Processes of transforming structures. Zbl 0488.68040
Maggiolo-Schettini, Andrea; Winkowski, Jozef
2
1982
Transformations of structures: An algebraic approach. Zbl 0491.68035
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef
10
1981
Modeling a solution for a control problem in distributed systems by restrictions. Zbl 0441.68021
Maggiolo-Schettini, Andrea; Wedde, Horst; Winkowski, Jozef
2
1981
Behaviours of concurrent systems. Zbl 0445.68044
Winkowski, Jozef
16
1980
An algebraic approach to concurrence. Zbl 0428.68068
Winkowski, Jozef
1
1979
An algebraic characterization of derivability relations. Zbl 0383.68011
Maggiolo Schettini, Andrea; Winkowski, Jozef
1
1978
A formalism for describing non-sequential processes. Zbl 0402.68037
Winkowski, Jozef
1
1978
An algebraic characterization of the behaviour of non-sequential systems. Zbl 0374.94038
Winkowski, Jozef
2
1977
Algebras of partial sequences - a tool to deal with concurrency. Zbl 0382.68010
Winkowski, Jozef
1
1977
Towards an understanding of computer simulation. Zbl 0334.68021
Winkowski, Jozef
1
1976
A natural method of proving properties of programs. Zbl 0315.68013
Winkowski, Jozef
1
1975
Concurrent programs. Zbl 0354.68059
Winkowski, J.
1
1975
Processes and processors. Zbl 0257.68041
Winkowski, Jozef
1
1973
A method of realisation of Markov chains. Zbl 0177.45602
Winkowski, Józef
1
1968

Citations by Year