Antoni W. Mazurkiewicz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2020

Towards Partial Order Reductions for Strategic AbilityWojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz. jair, 68:817-850, 2020. [doi]

2018

Towards Partial Order Reductions for Strategic AbilityWojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz. atal 2018: 156-165 [doi]

2012

Petri net languages revisitedAntoni W. Mazurkiewicz. TCS, 429:227-235, 2012. [doi]

2010

Local Computations on Triangular GraphsAntoni W. Mazurkiewicz. FUIN, 100(1-4):117-140, 2010. [doi]

2004

Multilateral Ranking NegotiationsAntoni W. Mazurkiewicz. FUIN, 63(2-3):241-258, 2004. [doi]

Bilateral Ranking NegotiationsAntoni W. Mazurkiewicz. FUIN, 60(1-4):1-16, 2004. [doi]

2003

Competition, Cooperation, and AuthorizationAntoni W. Mazurkiewicz. esaw 2004: 155-167 [doi]

2001

Messages, Clocks, and GravitationAntoni W. Mazurkiewicz, Dobieslaw Wróblewski. ceemas 2002: 187-196 [doi]

1997

Locally Computable EnumerationsAntoni W. Mazurkiewicz. fct 1997: 51-66

Distributed EnumerationAntoni W. Mazurkiewicz. ipl, 61(5):233-239, 1997. [doi]

1996

Prefix function view of states and eventsAntoni W. Mazurkiewicz. dimacs 1996: 1-24

1995

True versus artificial concurrencyAntoni W. Mazurkiewicz. pstv 1996: 53-68

Introduction to Trace TheoryAntoni W. Mazurkiewicz. In Volker Diekert, Grzegorz Rozenberg, editors, The Book of Traces. pages 3-41, World Scientific, 1995. [doi]

1993

Distributed Disassembly of MosaicsAntoni W. Mazurkiewicz. ipl, 46(4):173-178, 1993.

1991

Connectedness and SynchronizationAntoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot. TCS, 90(1):171-184, 1991.

1989

Concurrency, Modularity, and SynchronizationAntoni W. Mazurkiewicz. mfcs 1989: 577-598

Concurrent Systems and InevitabilityAntoni W. Mazurkiewicz, Edward Ochmanski, Wojciech Penczek. TCS, 64(3):281-304, 1989.

1988

Basic notions of trace theoryAntoni W. Mazurkiewicz. rex 1989: 285-363

Solvability of the Asynchronous Ranking ProblemAntoni W. Mazurkiewicz. ipl, 28(5):221-224, 1988.

1987

Net Representation of Sentences in Natural LanguagesVioletta Koseska-Toszewa, Antoni W. Mazurkiewicz. apn 1988: 249-265

Compositional Semantics of Pure Place/ Transition SystemsAntoni W. Mazurkiewicz. apn 1988: 307-330

1986

Trace TheoryAntoni W. Mazurkiewicz. ac 1987: 279-324

1984

Semantics of concurrent systems: a modular fixed-point trace approachAntoni W. Mazurkiewicz. apn 1985: 353-375

Traces, Histories, Graphs: Instances of a Process MonoidAntoni W. Mazurkiewicz. mfcs 1984: 115-133

1979

Concurrent algorithms schemataAntoni W. Mazurkiewicz. ershov 1981: 460-461

1975

Parallel Recursive Program SchemesAntoni W. Mazurkiewicz. mfcs 1975: 75-87

1971

Proving Algorithms by Tail FunctionsAntoni W. Mazurkiewicz. iandc, 18(3):220-226, April 1971.

1969

A Note on Enumerable GrammarsAntoni W. Mazurkiewicz. iandc, 14(6):555-558, June 1969.

Sign in or sign up to see more results.

runs on WebDSL