Concurrent secrets E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau
Discrete Event Dynamic Systems 17, 425-446, 2007
179 2007 Generalized congruences-epimorphisms in Cat MA Bednarczyk, AM Borzyszkowski, W Pawlowski
Theory and Applications of Categories 5 (11), 266-280, 1999
60 1999 General morphisms of Petri nets MA Bednarczyk, AM Borzyszkowski
Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 2002
21 2002 On concurrent realization of reactive systems and their morphisms MA Bednarczyk, AM Borzyszkowski
Unifying Petri Nets: Advances in Petri Nets, 346-379, 2001
13 2001 Finite completeness of categories of Petri nets MA Bednarczyk, AM Borzyszkowski, R Somla
Fundamenta Informaticae 43 (1-4), 21-48, 2000
13 2000 Unconditional decompositions and local unconditional structures in some subspaces of , 1≤p<2 A Borzyszkowski
Studia Mathematica 76 (3), 267-278, 1983
9 1983 Computing majority via multiple queries AM Borzyszkowski
Theoretical Computer Science 539, 106-111, 2014
7 2014 Towards the semantics of the definitional language of MetaSoft MA Bednarczyk, AM Borzyszkowski, W Pawłowski
International Symposium of VDM Europe, 477-503, 1990
7 1990 Transition systems without transitions AM Borzyszkowski, P Darondeau
Theoretical computer science 338 (1-3), 1-16, 2005
6 2005 Concurrent realizations of reactive systems MA Bednarczyk, AM Borzyszkowski
IPI PAN, 1999
4 1999 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
4 1988 Towards a set-theoretic type theory A Borzyszkowski, R Kubiak, J Leszczylowski, S Sokolowski
Submitted to Theoretical Computer Science, 1988
4 1988 Mathematical foundations of computer science 1993 A Borzyszkowski, S Sokolowski
Springer-Verlag, 1993
3 1993 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
3 1988 Concrete (co) constructions in the category of small categories MA Bednarczyk, AM Borzyszkowski
Unpublished manuscript. http://citeseerx. ist. psu. edu/viewdoc/download, 1998
2 1998 Epimorphic functors MA Bednarczyk, AM Borzyszkowski, W Pawłowski
IPI PAN, 1998
2 1998 Matematyka ordynacji wyborczej A Borzyszkowski
Polish Academy of Sciences [PAS]. Institute of Computer Science, 1997
2 1997 Matematyczne podstawy informatyki AM Borzyszkowski, S Sokołowski
Wydaw. Francusko-Polskiej Wyższej Szkoły Nowych Technik Informatyczno …, 1995
2 1995 Recursive definitions revisited MA Bednarczyk, AM Borzyszkowski, W Pawłowski
VDM'90 VDM and Z—Formal Methods in Software Development: Third …, 1990
2 1990 Equalizing morphisms of Petri nets MA Bednarczyk, AM Borzyszkowski, R Somla
Proc. Workshop on Concurrency, Specification & Programming, 24-35, 1999
1 1999