Józef Winkowski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 47 from 47

2017

Multiplicative Transition SystemsJózef Winkowski. topnoc, 12:187-215, 2017. [doi]

2011

Multiplicative Transition SystemsJózef Winkowski. FUIN, 109(2):201-222, 2011. [doi]

2009

An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic PresentationJózef Winkowski. FUIN, 97(4):439-470, 2009. [doi]

An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive PresentationJózef Winkowski. FUIN, 97(1-2):235-273, 2009. [doi]

2008

An Algebraic Framework for Defining Random Concurrent BehavioursJózef Winkowski. FUIN, 85(1-4):481-496, 2008. [doi]

2007

Behaviour AlgebrasJózef Winkowski. FUIN, 75(1-4):537-560, 2007. [doi]

Towards a Framework for Modelling Behaviours of Hybrid SystemsJózef Winkowski. FUIN, 80(1-3):311-332, 2007. [doi]

2006

An Axiomatic Characterization of Algebras of Processes of Petri NetsJózef Winkowski. FUIN, 72(1-3):407-420, 2006. [doi]

2005

Towards a Framework for Modelling Systems with Rich Internal Structures of States and ProcessesJózef Winkowski. FUIN, 68(1-2):175-206, 2005. [doi]

2003

An algebraic characterization of independence of Petri net processesJózef Winkowski. ipl, 88(1-2):73-81, 2003. [doi]

2002

Reachability in Contextual NetsJózef Winkowski. FUIN, 51(1-2):235-250, 2002.

2000

Processes of timed Petri netsJózef Winkowski. TCS, 243(1-2):1-34, 2000. [doi]

An Algebra of Data FlowsJózef Winkowski. FUIN, 42(1):75-104, 2000.

1998

Processes of Contextual Nets and their CharacteristicsJózef Winkowski. FUIN, 36(1):71-101, 1998.

1997

A Partial Order Representation of Processes of Transforming GraphsAndrea Maggiolo-Schettini, Józef Winkowski. FUIN, 31(3/4):337-355, 1997.

A Representation of Processes of Petri Nets by MatricesJózef Winkowski. FUIN, 30(1):97-107, 1997.

1996

A Kernel Language for Programmed Rewriting of (Hyper)graphsAndrea Maggiolo-Schettini, Józef Winkowski. ACTA, 33(6):523-546, 1996.

Dynamic GraphsAndrea Maggiolo-Schettini, Józef Winkowski. mfcs 1996: 431-442

Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri NetsJózef Winkowski. FUIN, 28(3-4):403-421, 1996.

1994

Algebras of Processes of Timed Petri NetsJózef Winkowski. concur 1994: 194-209

1992

A Programming Language for Deriving HypergraphsAndrea Maggiolo-Schettini, Józef Winkowski. caap 1992: 221-231

Towards an Algebra for Timed BehavioursAndrea Maggiolo-Schettini, Józef Winkowski. TCS, 103(2):335-363, 1992.

1991

A compositional semantics for unmarked predicate/transition netsAndrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski. FUIN, 14(1):109-128, 1991.

1990

Programmed Derivations of Relational StructuresAndrea Maggiolo-Schettini, Józef Winkowski. gg 1991: 582-598

1987

An Algebra of ProcessesJózef Winkowski, Andrea Maggiolo-Schettini. jcss, 35(2):206-228, 1987.

1982

1981

Transformations of Structures: an Algebraic ApproachHartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski. mst, 14:305-334, 1981.

Modeling a Solution for a Control Problem in Distributed Systems by RestrictionsAndrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski. TCS, 13:61-83, 1981.

Protocols of Accessing Overlapping Sets of ResourcesJózef Winkowski. ipl, 12(5):239-243, 1981.

1980

Behaviours of Concurrent SystemsJózef Winkowski. TCS, 12:39-60, 1980.

1979

Modeling a Solution for a Control Problem in Distributed Systems by RestrictionsAndrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski. scc 1979: 226-248

Modelling a Solution for a Control Problem in Distributed Systems by RestrictionsAndrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski. mmb 1979: 199-201

An Algebraic Approach to ConcurrenceJózef Winkowski. mfcs 1979: 523-532

1978

Deriving Structures from StructuresHartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski. mfcs 1978: 177-190

Processes in StructuresAndrea Maggiolo-Schettini, Józef Winkowski. gg 1979: 317-330

1977

Determining Processes by ViolationsHorst Wedde, Józef Winkowski. mfcs 1977: 549-559

Algebras of Partial Sequences - A Tool to Deal with ConcurrencyJózef Winkowski. fct 1977: 187-198

An Algebraic Characterization of the Behaviour of Non-Sequential SystemsJózef Winkowski. ipl, 6(4):105-109, 1977.

1976

On Sequential Modelling of Non-Sequential ProcessesJózef Winkowski. mfcs 1976: 559-568

1975

Proving Properties of Programs by Means of Predicate LogicJózef Winkowski. mfcs 1975: 465-471

Concurrent ProgramsJózef Winkowski. eik, 11(4-6):283-290, 1975.

1974

Concurrent ProgramsJózef Winkowski. mfcs 1975: 202-221

Sign in or sign up to see more results.

runs on WebDSL