×

zbMATH — the first resource for mathematics

Fröschle, Sibylle B.

Compute Distance To:
Author ID: froschle.sibylle-b Recent zbMATH articles by "Fröschle, Sibylle B."
Published as: Fröschle, S. B.; Fröschle, Sibylle; Fröschle, Sibylle B.
External Links: MGP · Wikidata
Documents Indexed: 19 Publications since 1999, including 2 Books

Publications by Year

Citations contained in zbMATH

13 Publications have been cited 44 times in 29 Documents Cited by Year
On plain and hereditary history-preserving bisimulation. Zbl 0959.68087
Fröschle, Sibylle B.; Hildebrandt, Thomas T.
10
1999
Normed processes, unique decomposition, and complexity of bisimulation equivalences. Zbl 1347.68264
Fröschle, Sibylle; Lasota, Sławomir
7
2009
Independence-friendly modal logic and true concurrency. Zbl 1020.68061
Bradfield, Julian C.; Fröschle, Sibylle B.
7
2002
Analysing PKCS#11 key management APIs with unbounded fresh data. Zbl 1252.68108
Fröschle, Sibylle; Steel, Graham
3
2009
The decidability border of hereditary history preserving bisimilarity. Zbl 1173.68538
Fröschle, S. B.
3
2005
Decidability of plain and hereditary history-preserving bisimilarity for BPP. Zbl 0958.68101
Fröschle, Sibylle
3
1999
Non-interleaving bisimulation equivalences on basic parallel processes. Zbl 1185.68444
Fröschle, Sibylle; Jančar, Petr; Lasota, Slawomir; Sawa, Zdeněk
2
2010
Adding branching to the strand space model. Zbl 1291.68285
Fröschle, Sibylle
2
2009
Decomposition and complexity of hereditary history preserving bisimulation on BPP. Zbl 1134.68434
Fröschle, Sibylle; Lasota, Sławomir
2
2005
Composition and decomposition in true-concurrency. Zbl 1118.68570
Fröschle, Sibylle
2
2005
Causality, behavioural equivalences, and the security of cyberphysical systems. Zbl 1444.68041
Fröschle, Sibylle
1
2015
Partially-commutative context-free processes. Zbl 1254.68164
Czerwiński, Wojciech; Fröschle, Sibylle; Lasota, Sławomir
1
2009
Causality versus true-concurrency. Zbl 1143.68052
Fröschle, Sibylle; Lasota, Sławomir
1
2007
Causality, behavioural equivalences, and the security of cyberphysical systems. Zbl 1444.68041
Fröschle, Sibylle
1
2015
Non-interleaving bisimulation equivalences on basic parallel processes. Zbl 1185.68444
Fröschle, Sibylle; Jančar, Petr; Lasota, Slawomir; Sawa, Zdeněk
2
2010
Normed processes, unique decomposition, and complexity of bisimulation equivalences. Zbl 1347.68264
Fröschle, Sibylle; Lasota, Sławomir
7
2009
Analysing PKCS#11 key management APIs with unbounded fresh data. Zbl 1252.68108
Fröschle, Sibylle; Steel, Graham
3
2009
Adding branching to the strand space model. Zbl 1291.68285
Fröschle, Sibylle
2
2009
Partially-commutative context-free processes. Zbl 1254.68164
Czerwiński, Wojciech; Fröschle, Sibylle; Lasota, Sławomir
1
2009
Causality versus true-concurrency. Zbl 1143.68052
Fröschle, Sibylle; Lasota, Sławomir
1
2007
The decidability border of hereditary history preserving bisimilarity. Zbl 1173.68538
Fröschle, S. B.
3
2005
Decomposition and complexity of hereditary history preserving bisimulation on BPP. Zbl 1134.68434
Fröschle, Sibylle; Lasota, Sławomir
2
2005
Composition and decomposition in true-concurrency. Zbl 1118.68570
Fröschle, Sibylle
2
2005
Independence-friendly modal logic and true concurrency. Zbl 1020.68061
Bradfield, Julian C.; Fröschle, Sibylle B.
7
2002
On plain and hereditary history-preserving bisimulation. Zbl 0959.68087
Fröschle, Sibylle B.; Hildebrandt, Thomas T.
10
1999
Decidability of plain and hereditary history-preserving bisimilarity for BPP. Zbl 0958.68101
Fröschle, Sibylle
3
1999

Citations by Year

Wikidata Timeline