Józef Winkowski

According to our database, Józef Winkowski authored at least 44 papers between 1975 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

Multiplicative Transition Systems.

Józef Winkowski

Fundam. Informaticae, 2011

2009

An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation.

Józef Winkowski

Fundam. Informaticae, 2009

An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation.

Józef Winkowski

Fundam. Informaticae, 2009

2008

An Algebraic Framework for Defining Random Concurrent Behaviours.

Józef Winkowski

Fundam. Informaticae, 2008

2007

Towards a Framework for Modelling Behaviours of Hybrid Systems.

Józef Winkowski

Fundam. Informaticae, 2007

Behaviour Algebras.

Józef Winkowski

Fundam. Informaticae, 2007

2006

An Axiomatic Characterization of Algebras of Processes of Petri Nets.

Józef Winkowski

Fundam. Informaticae, 2006

2005

Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes.

Józef Winkowski

Fundam. Informaticae, 2005

2003

An algebraic characterization of independence of Petri net processes.

Józef Winkowski

Inf. Process. Lett., 2003

2002

Reachability in Contextual Nets.

Józef Winkowski

Fundam. Informaticae, 2002

2000

Processes of timed Petri nets.

Józef Winkowski

Theor. Comput. Sci., 2000

An Algebra of Data Flows.

Józef Winkowski

Fundam. Informaticae, 2000

1998

Processes of Contextual Nets and their Characteristics.

Józef Winkowski

Fundam. Informaticae, 1998

1997

A Representation of Processes of Petri Nets by Matrices.

Józef Winkowski

Fundam. Informaticae, 1997

A Partial Order Representation of Processes of Transforming Graphs.

Andrea Maggiolo-Schettini, Józef Winkowski

Fundam. Informaticae, 1997

1996

Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets.

Józef Winkowski

Fundam. Informaticae, 1996

A Kernel Language for Programmed Rewriting of (Hyper)graphs.

Andrea Maggiolo-Schettini, Józef Winkowski

Acta Informatica, 1996

Dynamic Graphs.

Andrea Maggiolo-Schettini, Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1994

Algebras of Processes of Timed Petri Nets.

Józef Winkowski

Proceedings of the CONCUR '94, 1994

1992

Towards an Algebra for Timed Behaviours.

Andrea Maggiolo-Schettini, Józef Winkowski

Theor. Comput. Sci., 1992

A Programming Language for Deriving Hypergraphs.

Andrea Maggiolo-Schettini, Józef Winkowski

Proceedings of the CAAP '92, 1992

1991

A compositional semantics for unmarked predicate/transition nets.

Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski

Fundam. Informaticae, 1991

1990

Programmed Derivations of Relational Structures.

Andrea Maggiolo-Schettini, Józef Winkowski

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1987

An Algebra of Processes.

Józef Winkowski, Andrea Maggiolo-Schettini

J. Comput. Syst. Sci., 1987

1982

An Algebraic Description of System Behaviours.

Józef Winkowski

Theor. Comput. Sci., 1982

Processes of Transforming Structures.

Andrea Maggiolo-Schettini, Józef Winkowski

J. Comput. Syst. Sci., 1982

A Communication Concept for Distributed Systems.

Waldemar Korczynski, Józef Winkowski

Inf. Process. Lett., 1982

Comments on the Paper by A. W. Wymore.

Józef Winkowski

Proceedings of the Adequate Modeling of Systems, 1982

Comments on the Paper by Hendrik Decker and Jürgen Geissler: "Modeling and Simulating Nets of Agencies with BORIS".

Józef Winkowski

Proceedings of the Adequate Modeling of Systems, 1982

Towards a Programming Language for Manipulating Relational Data Bases.

Andrea Maggiolo-Schettini, Józef Winkowski

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1981

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

Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski

Theor. Comput. Sci., 1981

Transformations of Structures: an Algebraic Approach.

Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski

Math. Syst. Theory, 1981

Protocols of Accessing Overlapping Sets of Resources.

Józef Winkowski

Inf. Process. Lett., 1981

1980

Behaviours of Concurrent Systems.

Józef Winkowski

Theor. Comput. Sci., 1980

1979

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

Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski

Proceedings of the Formale Modelle für Informationssysteme, 1979

An Algebraic Approach to Concurrence.

Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1978

Deriving Structures from Structures.

Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Processes in Structures.

Andrea Maggiolo-Schettini, Józef Winkowski

Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978

1977

An Algebraic Characterization of the Behaviour of Non-Sequential Systems.

Józef Winkowski

Inf. Process. Lett., 1977

Determining Processes by Violations.

Horst F. Wedde, Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

Algebras of Partial Sequences - A Tool to Deal with Concurrency.

Józef Winkowski

Proceedings of the Fundamentals of Computation Theory, 1977

1976

On Sequential Modelling of Non-Sequential Processes.

Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

Concurrent Programs.

Józef Winkowski

J. Inf. Process. Cybern., 1975

Proving Properties of Programs by Means of Predicate Logic.

Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975