Sibylle Fröschle

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Causality, behavioural equivalences, and the security of cyberphysical systems Lecture Notes in Computer Science	2015-11-04	Paper
Normed processes, unique decomposition, and complexity of bisimulation equivalences Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Adding branching to the strand space model Electronic Notes in Theoretical Computer Science	2014-07-23	Paper
Causality versus true-concurrency	2013-10-07	Paper
On logical and concurrent equivalences Electronic Notes in Theoretical Computer Science	2013-04-26	Paper
Partially-commutative context-free processes: expressibility and tractability Information and Computation	2011-05-04	Paper
Non-interleaving bisimulation equivalences on basic parallel processes Information and Computation	2010-01-12	Paper
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data Foundations and Applications of Security Analysis	2009-10-22	Paper
Partially-Commutative Context-Free Processes CONCUR 2009 - Concurrency Theory	2009-10-22	Paper
The decidability border of hereditary history preserving bisimilarity Information Processing Letters	2009-08-27	Paper
Causality versus true-concurrency Theoretical Computer Science	2007-12-19	Paper
CONCUR 2005 – Concurrency Theory Lecture Notes in Computer Science	2006-11-01	Paper
Foundations of Software Science and Computational Structures Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 1809623 (Why is no real title available?)	2002-09-30	Paper
scientific article; zbMATH DE number 1497782 (Why is no real title available?)	2001-03-05	Paper
scientific article; zbMATH DE number 1418351 (Why is no real title available?)	2000-03-19	Paper

Research outcomes over time

This page was built for person: Sibylle Fröschle