Antoni W. Mazurkiewicz

According to our database, Antoni W. Mazurkiewicz authored at least 34 papers between 1969 and 2020.

Collaborative distances:

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

2020

Towards Partial Order Reductions for Strategic Ability.

Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz

J. Artif. Intell. Res., 2020

2018

Towards Partial Order Reductions for Strategic Ability.

Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2012

Petri net languages revisited.

Antoni W. Mazurkiewicz

Theor. Comput. Sci., 2012

2010

Local Computations on Triangular Graphs.

Antoni W. Mazurkiewicz

Fundam. Informaticae, 2010

2008

Labelled (Hyper)Graphs, Negotiations and the Naming Problem.

Jérémie Chalopin, Antoni W. Mazurkiewicz, Yves Métivier

Proceedings of the Graph Transformations, 4th International Conference, 2008

Token-Free Petri Nets.

Antoni W. Mazurkiewicz

Proceedings of the Pillars of Computer Science, 2008

2007

Local Properties of Triangular Graphs.

Antoni W. Mazurkiewicz

Fundam. Informaticae, 2007

Compositional Systems over Reducible Networks.

Antoni W. Mazurkiewicz

Fundam. Informaticae, 2007

Romanian Academy Calea Victoriei 125, Bucharest, Romania Locally Derivable Graphs.

Antoni W. Mazurkiewicz

Fundam. Informaticae, 2007

Petri Nets Without Tokens.

Antoni W. Mazurkiewicz

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2004

Multilateral Ranking Negotiations.

Antoni W. Mazurkiewicz

Fundam. Informaticae, 2004

Bilateral Ranking Negotiations.

Antoni W. Mazurkiewicz

Fundam. Informaticae, 2004

2003

Competition, Cooperation, and Authorization.

Antoni W. Mazurkiewicz

Proceedings of the Engineering Societies in the Agents World IV, 2003

2001

Messages, Clocks, and Gravitation.

Antoni W. Mazurkiewicz, Dobieslaw Wróblewski

Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

1997

Distributed Enumeration.

Antoni W. Mazurkiewicz

Inf. Process. Lett., 1997

Locally Computable Enumerations.

Antoni W. Mazurkiewicz

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1996

Prefix function view of states and events.

Antoni W. Mazurkiewicz

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

1995

True versus artificial concurrency.

Antoni W. Mazurkiewicz

Proceedings of the Protocol Specification, 1995

Introduction to Trace Theory.

Antoni W. Mazurkiewicz

Proceedings of the Book of Traces, 1995

1993

Distributed Disassembly of Mosaics.

Antoni W. Mazurkiewicz

Inf. Process. Lett., 1993

1991

Connectedness and Synchronization.

Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

Theor. Comput. Sci., 1991

1989

Concurrent Systems and Inevitability.

Antoni W. Mazurkiewicz, Edward Ochmanski, Wojciech Penczek

Theor. Comput. Sci., 1989

Concurrency, Modularity, and Synchronization.

Antoni W. Mazurkiewicz

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1988

Solvability of the Asynchronous Ranking Problem.

Antoni W. Mazurkiewicz

Inf. Process. Lett., 1988

Basic notions of trace theory.

Antoni W. Mazurkiewicz

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987

Compositional Semantics of Pure Place/ Transition Systems.

Antoni W. Mazurkiewicz

Proceedings of the Advances in Petri Nets 1988, 1987

Net Representation of Sentences in Natural Languages.

Violetta Koseska-Toszewa, Antoni W. Mazurkiewicz

Proceedings of the Advances in Petri Nets 1988, 1987

1986

Trace Theory.

Antoni W. Mazurkiewicz

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1984

Traces, Histories, Graphs: Instances of a Process Monoid.

Antoni W. Mazurkiewicz

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

Semantics of concurrent systems: a modular fixed-point trace approach.

Antoni W. Mazurkiewicz

Proceedings of the Advances in Petri Nets 1984, 1984

1979

Concurrent algorithms schemata.

Antoni W. Mazurkiewicz

Proceedings of the Algorithms in Modern Mathematics and Computer Science, 1979

1975

Parallel Recursive Program Schemes.

Antoni W. Mazurkiewicz

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1971

Proving Algorithms by Tail Functions

Antoni W. Mazurkiewicz

Inf. Control., April, 1971

1969

A Note on Enumerable Grammars

Antoni W. Mazurkiewicz

Inf. Control., June, 1969