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
https://portal.mardi4nfdi.de/entity/Q2852059	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
Partially-Commutative Context-Free Processes	2009-10-22	Paper
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sibylle Fröschle