Andrzej Borzyszkowski
Andrzej Borzyszkowski
Instytut Informatyki Uniwersytet Gda雟ki
Verified email at inf.ug.edu.pl
TitleCited byYear
Concurrent secrets
E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau
Discrete Event Dynamic Systems 17 (4), 425-446, 2007
1172007
Generalized Congruences| Epimorphisms in Cat
MA Bednarczyk, AM Borzyszkowski, W Pawlowski
Theory and Applications of Categories 5 (11), 266-280, 1999
391999
General morphisms of Petri nets
MA Bednarczyk, AM Borzyszkowski
International Colloquium on Automata, Languages, and Programming, 190-199, 1999
201999
On concurrent realization of reactive systems and their morphisms
MA Bednarczyk, AM Borzyszkowski
Unifying Petri Nets, 346-379, 2001
132001
Finite completeness of categories of Petri nets
MA Bednarczyk, AM Borzyszkowski, R Somla
Fundamenta Informaticae 43 (1-4), 21-48, 2000
112000
Towards the semantics of the definitional language of MetaSoft
MA Bednarczyk, AM Borzyszkowski, W Paw這wski
International Symposium of VDM Europe, 477-503, 1990
71990
Unconditional decompositions and local unconditional structures in some subspaces of , 1≤p<2
A Borzyszkowski
Studia Mathematica 76 (3), 267-278, 1983
71983
Transition systems without transitions
AM Borzyszkowski, P Darondeau
Theoretical computer science 338 (1-3), 1-16, 2005
52005
A set-theoretic model for a typed polymorphic lambda calculus a contribution to MetaSoft
A Borzyszkowski, R Kubiak, S Soko這wski
International Symposium of VDM Europe, 267-298, 1988
51988
Computing majority via multiple queries
AM Borzyszkowski
Theoretical Computer Science 539, 106-111, 2014
42014
Concurrent realizations of reactive systems
MA Bednarczyk, AM Borzyszkowski
IPI PAN, 1999
31999
Mathematical foundations of computer science 1993
A Borzyszkowski, S Sokolowski
Springer-Verlag, 1993
31993
Towards a set-theoretic type theory
A Borzyszkowski, R Kubiak, J Leszczylowski, S Sokolowski
Submitted to Theoretical Computer Science, 1988
31988
Concrete (co) constructions in the category of small categories
MA Bednarczyk, AM Borzyszkowski
Unpublished manuscript. http://citeseerx. ist. psu. edu/viewdoc/download, 1998
21998
Epimorphic functors
MA Bednarczyk, AM Borzyszkowski, W Paw這wski
IPI PAN, 1998
21998
Matematyka ordynacji wyborczej
A Borzyszkowski
Polish Academy of Sciences [PAS]. Institute of Computer Science, 1997
21997
Matematyczne podstawy informatyki
AM Borzyszkowski, S Soko這wski
Wydaw. Francusko-Polskiej Wy窺zej Szko造 Nowych Technik Informatyczno…, 1995
21995
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
D Wagner, F Wagner
Springer, 1993
21993
Recursive definitions revisited
MA Bednarczyk, AM Borzyszkowski, W Paw這wski
International Symposium of VDM Europe, 452-476, 1990
21990
Transition systems without transitions
AM Borzyszkowski, P Darondeau
IPI PAN, 2003
12003
The system can't perform the operation now. Try again later.
Articles 1–20