 | 2010 |
|---|
| 15 |       | Sibylle B. Fröschle,
Petr Jancar,
Slawomir Lasota,
Zdenek Sawa:
Non-interleaving bisimulation equivalences on Basic Parallel Processes.
Inf. Comput. 208(1): 42-62 (2010) |
| 2009 |
|---|
| 14 | | Sibylle B. Fröschle,
Graham Steel:
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.
ARSPA-WITS 2009: 92-106 |
| 13 | | Wojciech Czerwinski,
Sibylle B. Fröschle,
Slawomir Lasota:
Partially-Commutative Context-Free Processes.
CONCUR 2009: 259-273 |
| 12 | | Sibylle B. Fröschle,
Slawomir Lasota:
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences.
Electr. Notes Theor. Comput. Sci. 239: 17-42 (2009) |
| 11 | | Sibylle B. Fröschle:
Adding Branching to the Strand Space Model.
Electr. Notes Theor. Comput. Sci. 242(1): 139-159 (2009) |
| 2007 |
|---|
| 10 | | Sibylle B. Fröschle:
The Insecurity Problem: Tackling Unbounded Data.
CSF 2007: 370-384 |
| 9 | | Sibylle B. Fröschle,
Slawomir Lasota:
Causality versus true-concurrency.
Theor. Comput. Sci. 386(3): 169-187 (2007) |
| 2006 |
|---|
| 8 | | Sibylle B. Fröschle,
Slawomir Lasota:
Causality Versus True-Concurrency.
Electr. Notes Theor. Comput. Sci. 154(3): 3-18 (2006) |
| 2005 |
|---|
| 7 | | Sibylle B. Fröschle,
Slawomir Lasota:
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.
CONCUR 2005: 263-277 |
| 6 | | Sibylle B. Fröschle:
Composition and Decomposition in True-Concurrency.
FoSSaCS 2005: 333-347 |
| 5 | | Sibylle B. Fröschle:
The decidability border of hereditary history preserving bisimilarity.
Inf. Process. Lett. 93(6): 289-293 (2005) |
| 2002 |
|---|
| 4 |  | Julian C. Bradfield,
Sibylle B. Fröschle:
Independence-Friendly Modal Logic and True Concurrency.
Nord. J. Comput. 9(1): 102-117 (2002) |
| 2001 |
|---|
| 3 | | Julian C. Bradfield,
Sibylle B. Fröschle:
On Logical and Concurrent Equivalences.
Electr. Notes Theor. Comput. Sci. 52(1): (2001) |
| 1999 |
|---|
| 2 | | Sibylle B. Fröschle,
Thomas T. Hildebrandt:
On Plain and Hereditary History-Preserving Bisimulation.
MFCS 1999: 354-365 |
| 1 | | Sibylle B. Fröschle:
Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP.
Electr. Notes Theor. Comput. Sci. 27: (1999) |
