Edit Profile Fröschle, Sibylle B. Compute Distance To: Compute Author ID: froschle.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 all top 5 Co-Authors 5 single-authored 7 Lasota, Sławomir 2 Bradfield, Julian Charles 2 Czerwiński, Wojciech 2 Valencia, Frank D. 1 Gorla, Daniele 1 Hildebrandt, Thomas T. 1 Jančar, Petr 1 Sawa, Zdeněk 1 Steel, Graham all top 5 Serials 2 Information and Computation 2 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 Information Processing Letters 1 Theoretical Computer Science 1 MSCS. Mathematical Structures in Computer Science 1 Nordic Journal of Computing Fields 19 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications 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.68087Fröschle, Sibylle B.; Hildebrandt, Thomas T. 10 1999 Normed processes, unique decomposition, and complexity of bisimulation equivalences. Zbl 1347.68264Fröschle, Sibylle; Lasota, Sławomir 7 2009 Independence-friendly modal logic and true concurrency. Zbl 1020.68061Bradfield, Julian C.; Fröschle, Sibylle B. 7 2002 Analysing PKCS#11 key management APIs with unbounded fresh data. Zbl 1252.68108Fröschle, Sibylle; Steel, Graham 3 2009 The decidability border of hereditary history preserving bisimilarity. Zbl 1173.68538Fröschle, S. B. 3 2005 Decidability of plain and hereditary history-preserving bisimilarity for BPP. Zbl 0958.68101Fröschle, Sibylle 3 1999 Non-interleaving bisimulation equivalences on basic parallel processes. Zbl 1185.68444Fröschle, Sibylle; Jančar, Petr; Lasota, Slawomir; Sawa, Zdeněk 2 2010 Adding branching to the strand space model. Zbl 1291.68285Fröschle, Sibylle 2 2009 Decomposition and complexity of hereditary history preserving bisimulation on BPP. Zbl 1134.68434Fröschle, Sibylle; Lasota, Sławomir 2 2005 Composition and decomposition in true-concurrency. Zbl 1118.68570Fröschle, Sibylle 2 2005 Causality, behavioural equivalences, and the security of cyberphysical systems. Zbl 1444.68041Fröschle, Sibylle 1 2015 Partially-commutative context-free processes. Zbl 1254.68164Czerwiński, Wojciech; Fröschle, Sibylle; Lasota, Sławomir 1 2009 Causality versus true-concurrency. Zbl 1143.68052Fröschle, Sibylle; Lasota, Sławomir 1 2007 Causality, behavioural equivalences, and the security of cyberphysical systems. Zbl 1444.68041Fröschle, Sibylle 1 2015 Non-interleaving bisimulation equivalences on basic parallel processes. Zbl 1185.68444Fröschle, Sibylle; Jančar, Petr; Lasota, Slawomir; Sawa, Zdeněk 2 2010 Normed processes, unique decomposition, and complexity of bisimulation equivalences. Zbl 1347.68264Fröschle, Sibylle; Lasota, Sławomir 7 2009 Analysing PKCS#11 key management APIs with unbounded fresh data. Zbl 1252.68108Fröschle, Sibylle; Steel, Graham 3 2009 Adding branching to the strand space model. Zbl 1291.68285Fröschle, Sibylle 2 2009 Partially-commutative context-free processes. Zbl 1254.68164Czerwiński, Wojciech; Fröschle, Sibylle; Lasota, Sławomir 1 2009 Causality versus true-concurrency. Zbl 1143.68052Fröschle, Sibylle; Lasota, Sławomir 1 2007 The decidability border of hereditary history preserving bisimilarity. Zbl 1173.68538Fröschle, S. B. 3 2005 Decomposition and complexity of hereditary history preserving bisimulation on BPP. Zbl 1134.68434Fröschle, Sibylle; Lasota, Sławomir 2 2005 Composition and decomposition in true-concurrency. Zbl 1118.68570Fröschle, Sibylle 2 2005 Independence-friendly modal logic and true concurrency. Zbl 1020.68061Bradfield, Julian C.; Fröschle, Sibylle B. 7 2002 On plain and hereditary history-preserving bisimulation. Zbl 0959.68087Fröschle, Sibylle B.; Hildebrandt, Thomas T. 10 1999 Decidability of plain and hereditary history-preserving bisimilarity for BPP. Zbl 0958.68101Fröschle, Sibylle 3 1999 all cited Publications top 5 cited Publications all top 5 Cited by 42 Authors 7 Fröschle, Sibylle B. 7 Lasota, Sławomir 4 Czerwiński, Wojciech 3 Baldan, Paolo 2 Bruni, Roberto 2 Gutierrez, Julian 2 Hofman, Piotr 2 Montanari, Ugo G. 2 Sammartino, Matteo 2 Steel, Graham 2 Tulenheimo, Tero 1 Beggiato, Alessandro 1 Bradfield, Julian Charles 1 Brázdil, Tomáš 1 Clairambault, Pierre 1 Cortier, Véronique 1 Crafa, Silvia 1 Esparza, Javier 1 Fahrenberg, Uli 1 Feng, Zhiyong 1 Focardi, Riccardo 1 Gorrieri, Roberto 1 Guttman, Joshua D. 1 Hu, Jing 1 Jančar, Petr 1 Jurdziński, Marcin 1 Kiefer, Stefan 1 Legay, Axel 1 Li, Xiaohong 1 Luccio, Flaminia L. 1 Luttenberger, Michael 1 Luttik, Bas 1 Nielsen, Mogens 1 Padoan, Tommaso 1 Sawa, Zdeněk 1 Shrimpton, Thomas 1 Song, Jiaojiao 1 Srba, Jiří 1 Stam, Martijn 1 Warinschi, Bogdan 1 Winskel, Glynn 1 Zhang, Chengwei all top 5 Cited in 8 Serials 5 Information and Computation 4 Theoretical Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Information Processing Letters 1 Journal of Logic, Language and Information 1 Theory of Computing Systems 1 Journal of the ACM 1 Journal of Applied Mathematics Cited in 5 Fields 26 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 3 Information and communication theory, circuits (94-XX) 2 Category theory; homological algebra (18-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline