The following pages link to Sibylle Fröschle (Q532391):
Displaying 17 items.
- Partially-commutative context-free processes: expressibility and tractability (Q532392) (← links)
- (Q835052) (redirect page) (← links)
- The decidability border of hereditary history preserving bisimilarity (Q835053) (← links)
- Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
- Causality versus true-concurrency (Q2465026) (← links)
- (Q2852059) (← links)
- (Q3150204) (← links)
- Partially-Commutative Context-Free Processes (Q3184678) (← links)
- Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data (Q3184714) (← links)
- Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)
- (Q4499199) (← links)
- On logical and concurrent equivalences (Q4917082) (← links)
- (Q4941914) (← links)
- Adding Branching to the Strand Space Model (Q5170670) (← links)
- Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences (Q5179048) (← links)
- Foundations of Software Science and Computational Structures (Q5705890) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897488) (← links)
