| 2007 |
|---|
| 12 | EE | Eric Badouel,
Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Benoît Caillaud,
Philippe Darondeau:
Concurrent Secrets.
Discrete Event Dynamic Systems 17(4): 425-446 (2007) |
| 2005 |
|---|
| 11 | EE | Andrzej M. Borzyszkowski,
Philippe Darondeau:
Transition systems without transitions.
Theor. Comput. Sci. 338(1-3): 1-16 (2005) |
| 2001 |
|---|
| 10 | EE | Marek A. Bednarczyk,
Andrzej M. Borzyszkowski:
On Concurrent Realization of Reactive Systems and Their Morphisms.
Unifying Petri Nets 2001: 346-379 |
| 2000 |
|---|
| 9 | | Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Rafal Somla:
Finite Completeness of Categories of Petri Nets.
Fundam. Inform. 43(1-4): 21-48 (2000) |
| 1999 |
|---|
| 8 | EE | Marek A. Bednarczyk,
Andrzej M. Borzyszkowski:
General Morphisms of Petri Nets (Extended Abstract).
ICALP 1999: 190-199 |
| 7 | EE | Marek A. Bednarczyk,
Andrzej M. Borzyszkowski:
Concurrent Realizations of Reactive Systems.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 1993 |
|---|
| 6 | | Andrzej M. Borzyszkowski,
Stefan Sokolowski:
Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings
Springer 1993 |
| 1991 |
|---|
| 5 | | Marek A. Bednarczyk,
Andrzej M. Borzyszkowski:
CPO's do not form a CPO, and yet Recursion Works.
VDM Europe (1) 1991: 268-278 |
| 1990 |
|---|
| 4 | | Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Wieslaw Pawlowski:
Recursive Definitions Revisited.
VDM Europe 1990: 452-476 |
| 3 | | Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Wieslaw Pawlowski:
Towards the Semantics of the Definitional Language of MetaSoft.
VDM Europe 1990: 471-503 |
| 1988 |
|---|
| 2 | | Andrzej M. Borzyszkowski,
Ryszard Kubiak,
Stefan Sokolowski:
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.
VDM Europe 1988: 267-298 |
| 1 | | Andrzej M. Borzyszkowski,
Stefan Sokolowski:
Understanding an informal Description: Office Documents Architecture, an ISO Standard.
VDM Europe 1988: 48-63 |
