| ||
1. | Causality Versus True-Concurrency
THEORETICAL COMPUTER SCIENCE Tom 386 r. 2007, str. 169-187 (Artykuł) Sibylle Froeschle, Sławomir Lasota | |
2. | Causality Versus True-Concurrency
Electronic Notes in Theoretical Computer Science Tom 154 Nr 3 r. 2006, str. 3-18 (Artykuł konferencyjny) Sibylle Froeschle, Sławomir Lasota | |
3. | Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP
LECTURE NOTES IN COMPUTER SCIENCE Tom 3653 r. 2005, str. 263-277 (Artykuł konferencyjny) Sławomir Lasota, Sibylle Froeschle |