Andrzej M. Borzyszkowski

14 papers A* 1B 1Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2019 J jnl
Regular Orthomodular Posets.
Fundam. Informaticae
Andrzej M. Borzyszkowski
2014 J jnl
Computing majority via multiple queries.
Theor. Comput. Sci.
Andrzej M. Borzyszkowski
2007 J jnl
Concurrent Secrets.
Discret. Event Dyn. Syst.
Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau
2005 J jnl
Transition systems without transitions.
Theor. Comput. Sci.
Andrzej M. Borzyszkowski, Philippe Darondeau
2001 — conf
On Concurrent Realization of Reactive Systems and Their Morphisms.
Unifying Petri Nets
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
2000 J jnl
Finite Completeness of Categories of Petri Nets.
Fundam. Informaticae
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla
1999 — conf
Concurrent Realizations of Reactive Systems.
CTCS
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
1999 A* conf
General Morphisms of Petri Nets (Extended Abstract).
ICALP
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
1993 B ed.
Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings
MFCS
Andrzej M. Borzyszkowski, Stefan Sokolowski
1991 — conf
CPO's do not form a CPO, and yet Recursion Works.
VDM Europe (1)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
1990 — conf
Recursive Definitions Revisited.
VDM Europe
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
1990 — conf
Towards the Semantics of the Definitional Language of MetaSoft.
VDM Europe
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
1988 — conf
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.
VDM Europe
Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski
1988 — conf
Understanding an informal Description: Office Documents Architecture, an ISO Standard.
VDM Europe
Andrzej M. Borzyszkowski, Stefan Sokolowski