×

zbMATH — the first resource for mathematics

Mazurkiewicz, Antoni W.

Compute Distance To:
Author ID: mazurkiewicz.antoni-w Recent zbMATH articles by "Mazurkiewicz, Antoni W."
Published as: Mazurkiewicz, A.; Mazurkiewicz, A. W.; Mazurkiewicz, Antoni; Mazurkiewicz, Antoni W.
Documents Indexed: 40 Publications since 1962, including 3 Books

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 157 times in 134 Documents Cited by Year
Trace theory. Zbl 0633.68051
Mazurkiewicz, Antoni
26
1987
Traces, histories, graphs: instances of a process monoid. Zbl 0577.68061
Mazurkiewicz, Antoni
23
1984
Basic notions of trace theory. (Tutorial). Zbl 0683.68032
Mazurkiewicz, A.
21
1989
Semantics of concurrent systems: A modular fixed-point trace approach. Zbl 0576.68044
Mazurkiewicz, A.
16
1985
Distributed enumeration. Zbl 1336.68079
Mazurkiewicz, Antoni
12
1997
Concurrent systems and inevitability. Zbl 0675.68015
Mazurkiewicz, Antoni; Ochmański, Edward; Penczek, Wojciech
8
1989
Solvability of the asynchronous ranking problem. Zbl 0664.68026
Mazurkiewicz, Antoni
7
1988
Proving algorithms by tail functions. Zbl 0232.02026
Mazurkiewicz, Antoni W.
7
1971
Concurrency, modularity, and synchronization. Zbl 0755.68098
Mazurkiewicz, Antoni
6
1989
Recursive algorithms and formal languages. Zbl 0259.68033
Mazurkiewicz, A.
5
1972
Labelled (hyper)graphs, negotiations and the naming problem. Zbl 1175.68273
Chalopin, Jérémie; Mazurkiewicz, Antoni; Métivier, Yves
4
2008
Compositional semantics of pure place/transition systems. Zbl 0676.68030
Mazurkiewicz, Antoni
4
1988
Mathematical foundations of computer science. Zbl 0348.00013
Mazurkiewicz, Antoni (ed.); Pawlak, Zdzislaw (ed.)
3
1977
An algebraic approach to the theory of programs, algorithms, languages and recursiveness. Zbl 0313.68022
Blikle, Andrzej; Mazurkiewicz, Antoni
3
1972
A note on enumerable grammers. Zbl 0176.28101
Mazurkiewicz, A. W.
3
1969
Locally derivable graphs. Zbl 1108.68089
Mazurkiewicz, Antoni
2
2007
Bilateral ranking negotiations. Zbl 1083.68041
Mazurkiewicz, Antoni
2
2004
Proving properties of processes. Zbl 0273.68040
Mazurkiewicz, Antoni
2
1974
Towards partial order reductions for strategic ability. Zbl 1453.68197
Jamroga, Wojciech; Penczek, Wojciech; Sidoruk, Teofil; Dembiński, Piotr; Mazurkiewicz, Antoni
1
2020
Local computations on triangular graphs. Zbl 1215.68187
Mazurkiewicz, Antoni
1
2010
Local properties of triangular graphs. Zbl 1124.68081
Mazurkiewicz, Antoni
1
2007
Towards partial order reductions for strategic ability. Zbl 1453.68197
Jamroga, Wojciech; Penczek, Wojciech; Sidoruk, Teofil; Dembiński, Piotr; Mazurkiewicz, Antoni
1
2020
Local computations on triangular graphs. Zbl 1215.68187
Mazurkiewicz, Antoni
1
2010
Labelled (hyper)graphs, negotiations and the naming problem. Zbl 1175.68273
Chalopin, Jérémie; Mazurkiewicz, Antoni; Métivier, Yves
4
2008
Locally derivable graphs. Zbl 1108.68089
Mazurkiewicz, Antoni
2
2007
Local properties of triangular graphs. Zbl 1124.68081
Mazurkiewicz, Antoni
1
2007
Bilateral ranking negotiations. Zbl 1083.68041
Mazurkiewicz, Antoni
2
2004
Distributed enumeration. Zbl 1336.68079
Mazurkiewicz, Antoni
12
1997
Basic notions of trace theory. (Tutorial). Zbl 0683.68032
Mazurkiewicz, A.
21
1989
Concurrent systems and inevitability. Zbl 0675.68015
Mazurkiewicz, Antoni; Ochmański, Edward; Penczek, Wojciech
8
1989
Concurrency, modularity, and synchronization. Zbl 0755.68098
Mazurkiewicz, Antoni
6
1989
Solvability of the asynchronous ranking problem. Zbl 0664.68026
Mazurkiewicz, Antoni
7
1988
Compositional semantics of pure place/transition systems. Zbl 0676.68030
Mazurkiewicz, Antoni
4
1988
Trace theory. Zbl 0633.68051
Mazurkiewicz, Antoni
26
1987
Semantics of concurrent systems: A modular fixed-point trace approach. Zbl 0576.68044
Mazurkiewicz, A.
16
1985
Traces, histories, graphs: instances of a process monoid. Zbl 0577.68061
Mazurkiewicz, Antoni
23
1984
Mathematical foundations of computer science. Zbl 0348.00013
Mazurkiewicz, Antoni (ed.); Pawlak, Zdzislaw (ed.)
3
1977
Proving properties of processes. Zbl 0273.68040
Mazurkiewicz, Antoni
2
1974
Recursive algorithms and formal languages. Zbl 0259.68033
Mazurkiewicz, A.
5
1972
An algebraic approach to the theory of programs, algorithms, languages and recursiveness. Zbl 0313.68022
Blikle, Andrzej; Mazurkiewicz, Antoni
3
1972
Proving algorithms by tail functions. Zbl 0232.02026
Mazurkiewicz, Antoni W.
7
1971
A note on enumerable grammers. Zbl 0176.28101
Mazurkiewicz, A. W.
3
1969
all top 5

Cited by 196 Authors

6 Métivier, Yves
5 Aalbersberg, Ijsbrand Jan
5 Mazurkiewicz, Antoni W.
5 Pelc, Andrzej
4 Peled, Doron A.
4 Penczek, Wojciech
4 Rozenberg, Grzegorz
4 van Glabbeek, Robert Jan
3 Chalopin, Jérémie
3 Dereniowski, Dariusz
3 Godard, Emmanuel
3 Goltz, Ursula
3 Ochmański, Edward
3 Thiagarajan, Pazhamaneri Subramaniam
3 Zemmari, Akka
2 Arnold, André
2 Bauderon, Michel
2 Czaja, Ludwik
2 Diekert, Volker
2 Ehrenfeucht, Andrzej
2 Fraigniaud, Pierre
2 Fusco, Emanuele Guido
2 Gastin, Paul
2 Haeusler, Edward Hermann
2 Hierons, Robert Mark
2 Hoogeboom, Hendrik Jan
2 Janicki, Ryszard
2 Koutny, Maciej
2 Lopes, Bruno Domeniciano
2 Maslov, A. N.
2 Mohalik, Swarup
2 Mosbah, Mohamed
2 Otto, Friedrich
2 Petit, Antoine
2 Rajsbaum, Sergio
2 Rasiowa, Helena
2 Robson, John Michael
2 Rozoy, Brigitte
2 Sabadini, Nicoletta
2 Schicke, Jens-Wolfhard
2 Sellami, Afif
2 Travers, Corentin
2 Vogler, Walter
2 Wasilewska, Anita
2 Winkowski, Jozef
2 Wrathall, Celia
1 Abdulla, Parosh Aziz
1 Aceto, Luca
1 Alur, Rajeev
1 Àlvarez, Carme
1 Aronis, Stavros
1 Atig, Mohamed Faouzi
1 Baier, Christel
1 Benevides, Mario R. F.
1 Berry, Daniel M.
1 Bertoni, Alberto
1 Best, Eike
1 Bønneland, Frederik Meyer
1 Börger, Egon
1 Boudol, Gérard
1 Brol’, V. V.
1 Casteigts, Arnaud
1 Castellani, Ilaria
1 Casu, Giovanni
1 Chaturvedi, Namit
1 Cheng, Allan
1 Cordier, Marie-Odile
1 Devillers, Raymond
1 Dikovsky, Alexander Yakovlevich
1 Dimitrić, Radoslav Milan
1 Dongol, Brijesh
1 Dowek, Gilles
1 Dowling, William F.
1 D’silva, Vijay
1 Duba, Bruce
1 Duboc, Christine
1 El Hibaoui, A.
1 Ésik, Zoltán
1 Felleisen, Matthias
1 Fieux, Etienne
1 Filipović, Ivana
1 Friedman, Daniel P.
1 Gabarró, Joaquim
1 Gallier, Jean H.
1 Gelderie, Marcus
1 Gerth, Rob Tristan
1 Gladky, A. V.
1 Gopalakrishnan, Ganesh Lalitha
1 Greibach, Sheila A.
1 Gruner, Stefan
1 Guaiana, Giovanna
1 Gupta, Aarti
1 Gutierrez, Julian
1 Hansen, Henri
1 Heibig, A. G.
1 Hoogers, P. W.
1 Idzik, Adam
1 Jaskolka, Jason
1 Jensen, Peter Gjøl
1 Jojczyk, Kazimierz
...and 96 more Authors

Citations by Year