Sibylle Fröschle

Available identifiers

zbMath Open froschle.sibylle-bMaRDI QIDQ532391

List of research outcomes

Publication	Date of Publication	Type
Causality, behavioural equivalences, and the security of cyberphysical systems	2015-11-04	Paper
Normed processes, unique decomposition, and complexity of bisimulation equivalences	2015-03-19	Paper
Adding branching to the strand space model	2014-07-23	Paper
Causality versus true-concurrency	2013-10-07	Paper
On logical and concurrent equivalences	2013-04-26	Paper
Partially-commutative context-free processes: expressibility and tractability	2011-05-04	Paper
Non-interleaving bisimulation equivalences on basic parallel processes	2010-01-12	Paper
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data	2009-10-22	Paper
Partially-Commutative Context-Free Processes	2009-10-22	Paper
The decidability border of hereditary history preserving bisimilarity	2009-08-27	Paper
Causality versus true-concurrency	2007-12-19	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3150204	2002-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4499199	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4941914	2000-03-19	Paper

Research outcomes over time

This page was built for person: Sibylle Fröschle