Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Fröschle, Sibylle - Department für Informatik, Carl von Ossietzky Universität Oldenburg
Composition and Decomposition in True-Concurrency Sibylle Froschle
The decidability of hereditary history preserving bisimilarity on trace-labelled systems is
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP ?
Reasoning with Past to Prove PKCS#11 Keys Sibylle Froschle1
EXPRESS 2005 Preliminary Version Causality Versus True-Concurrency
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP
Decidability and Coincidence of Equivalences for Concurrency
Decidability and Coincidence of Equivalences for Concurrency
Composition and Decomposition in TrueConcurrency Sibylle Froschle #
The decidability of hereditary history preserving bisimilarity on trace-labelled systems is
Hereditary History Preserving Bisimilarity Coincides with History Preserving Bisimilarity for a Class of Live
The Insecurity Problem: Tackling Unbounded Data
Composition and Decomposition in True-Concurrency Sibylle Froschle
Causality Versus True-Concurrency 1 Sibylle Froschle and Slawomir Lasota 2
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP ?
Partially-commutative context-free processes: expressibility and tractability$
Non-Interleaving Bisimulation Equivalences on Basic Parallel Processes
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
The decidability border of hereditary history preserving bisimilarity
Hereditary History Preserving Bisimilarity Coincides with History Preserving Bisimilarity for a Class of Live
The decidability border of hereditary history preserving bisimilarity
Composition and Decomposition in TrueConcurrency Sibylle Froschle #
Reasoning with Past to Prove PKCS#11 Keys Secure Sibylle Froschle1 and Nils Sommer2
When is a PKCS#11 Configuration Secure? Sibylle Froschle
Concepts and Proofs for Configuring PKCS#11 Sibylle Froschle1
Concepts and Proofs for Configuring PKCS#11 Sibylle Froschle1 Nils Sommer2
