Follow
Andrzej Borzyszkowski
Andrzej Borzyszkowski
Instytut Informatyki Uniwersytet Gdański
Verified email at inf.ug.edu.pl
Title
Cited by
Cited by
Year
Concurrent secrets
E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau
Discrete Event Dynamic Systems 17, 425-446, 2007
1772007
Generalized congruences-epimorphisms in Cat
MA Bednarczyk, AM Borzyszkowski, W Pawlowski
Theory and Applications of Categories 5 (11), 266-280, 1999
601999
General morphisms of Petri nets
MA Bednarczyk, AM Borzyszkowski
Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 2002
212002
On concurrent realization of reactive systems and their morphisms
MA Bednarczyk, AM Borzyszkowski
Unifying Petri Nets: Advances in 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
132000
Unconditional decompositions and local unconditional structures in some subspaces of , 1≤p<2
A Borzyszkowski
Studia Mathematica 76 (3), 267-278, 1983
91983
Computing majority via multiple queries
AM Borzyszkowski
Theoretical Computer Science 539, 106-111, 2014
72014
Towards the semantics of the definitional language of MetaSoft
MA Bednarczyk, AM Borzyszkowski, W Pawłowski
International Symposium of VDM Europe, 477-503, 1990
71990
Transition systems without transitions
AM Borzyszkowski, P Darondeau
Theoretical computer science 338 (1-3), 1-16, 2005
62005
Concurrent realizations of reactive systems
MA Bednarczyk, AM Borzyszkowski
IPI PAN, 1999
41999
A set-theoretic model for a typed polymorphic lambda calculus a contribution to MetaSoft
A Borzyszkowski, R Kubiak, S Sokołowski
International Symposium of VDM Europe, 267-298, 1988
41988
Towards a set-theoretic type theory
A Borzyszkowski, R Kubiak, J Leszczylowski, S Sokolowski
Submitted to Theoretical Computer Science, 1988
41988
Mathematical foundations of computer science 1993
A Borzyszkowski, S Sokolowski
Springer-Verlag, 1993
31993
A set-theoretic model for a typed polymorphic lambda calculus—a contribution to MetaSoft
R Kubiak, A Borzyszkowski, S Sokolowski
VDM: The Way Ahead, LNCS 328, 267-298, 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łowski
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łowski
Wydaw. Francusko-Polskiej Wyższej Szkoły Nowych Technik Informatyczno …, 1995
21995
Recursive definitions revisited
MA Bednarczyk, AM Borzyszkowski, W Pawłowski
VDM'90 VDM and Z—Formal Methods in Software Development: Third …, 1990
21990
Equalizing morphisms of Petri nets
MA Bednarczyk, AM Borzyszkowski, R Somla
Proc. Workshop on Concurrency, Specification & Programming, 24-35, 1999
11999
The system can't perform the operation now. Try again later.
Articles 1–20