Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Jifeng He 0001 |
Linking Theories of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 61-74, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Lucian Wischik, Philippa Gardner |
Strong Bisimulation for the Explicit Fusion Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 484-498, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Colcombet, Christof Löding |
On the Expressiveness of Deterministic Transducers over Infinite Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pp. 428-439, 2004, Springer, 3-540-21236-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Hirschkoff |
An Extensional Spatial Logic for Mobile Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp. 325-339, 2004, Springer, 3-540-22940-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
Discounting the Future in Systems Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 1022-1037, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Slawomir Lasota 0001 |
A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings, pp. 521-530, 2003, Springer, 3-540-40671-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Jirí Srba |
Note on the Tableau Technique for Commutative Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 387-401, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Michele Boreale, Daniele Gorla |
On Compositional Reasoning in the Spi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 67-81, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
reasoning on security, process calculi, axiomatization |
23 | Antonín Kucera 0001, Richard Mayr |
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 433-445, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Barbara König 0001, Ugo Montanari |
Observational Equivalence for Synchronized Graph Rewriting with Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 145-164, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Bart Jacobs 0001 |
Exercises in Coalgebraic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ![In: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures, pp. 237-280, 2000, Springer, 3-540-43613-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Roberto Bruni, Ugo Montanari, Vladimiro Sassone |
Open Ended Systems, Dynamic Bisimulation and Tile Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings, pp. 440-456, 2000, Springer, 3-540-67823-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
SOS formats, dynamic bisimulation, tile logic, Bisimulation |
23 | Ivana Cerná, Mojmír Kretínský, Antonín Kucera 0001 |
Comparing Expressibility of Normed BPA and Normed BPP Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(3), pp. 233-256, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Jitka Stríbrná |
Approximating Weak Bisimulation on Basic Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 366-375, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Petr Jancar, Antonín Kucera 0001, Richard Mayr |
Deciding Bisimulation-Like Equivalences with Finite-State Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 200-211, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Thomas A. Henzinger, Peter W. Kopke |
Discrete-Time Control for Rectangular Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings, pp. 582-593, 1997, Springer, 3-540-63165-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Kohei Honda 0001 |
Types for Dyadic Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 509-523, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Carme Àlvarez, José L. Balcázar, Joaquim Gabarró, Miklos Santha |
Parallel Complexity in the Design and Analysis on Conurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 288-303, 1991, Springer, 3-540-54151-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
partially commutative monoids, PRAM algorithms, Petri nets, CCS, boolean circuits, P-completeness |
18 | Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi |
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 1269-1297, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Jules Jacobs, Thorsten Wißmann |
Fast Coalgebraic Bisimilarity Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1514-1541, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jan Martens 0001, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs |
Linear parallel algorithms to compute strong and branching bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 22(2), pp. 521-545, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Shigemasa Takai |
Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 152, pp. 110940, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Gorrieri |
Branching Place Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.04222, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva 0001 |
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.01755, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tom Hirschowitz, Ambroise Lafont |
A more general categorical framework for congruence of applicative bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.11679, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Andrea Esposito 0006, Alessandro Aldini, Marco Bernardo 0001, Sabina Rossi |
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.15670, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi |
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.06116, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink |
On Bisimilarity for Quasi-discrete Closure Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11634, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Rob van Glabbeek, Peter Höfner, Weiyou Wang |
A Lean-Congruence Format for EP-Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023., pp. 59-75, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | |
Compositional Net Semantics up to Step Net Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.04483, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yuanrui Zhang, Xinxin Liu |
Image Reflection on LLEE Charts - Another Proof for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.01222, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Rob van Glabbeek, Peter Höfner, Weiyou Wang |
A Lean-Congruence Format for EP-Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.16350, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Clemens Grabmayer |
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(2), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Quan Sun, David N. Jansen, Xinxin Liu, Wei Zhang |
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 35(4), pp. 25:1-25:21, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Kangli He, Hengyang Wu, Yixiang Chen |
On divergence-sensitive weak probabilistic bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 292, pp. 105033, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink |
Minimisation of Spatial Models Using Branching Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 263-281, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva 0001 |
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, pp. 136:1-136:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-278-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Amgad Rady, Franck van Breugel |
Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, pp. 285-307, 2023, Springer, 978-3-031-30828-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen |
Preservation and Reflection of Bisimilarity via Invertible Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, pp. 328-348, 2023, Springer, 978-3-031-30828-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink |
On Bisimilarity for Polyhedral Models and SLCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, pp. 132-151, 2023, Springer, 978-3-031-35354-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Semen Yurkov |
Analysis of Smartcard-based Payment Protocols in the Applied Pi-calculus using Quasi-Open Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
18 | Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar |
Resource Bisimilarity in Petri Nets is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 186(1-4), pp. 175-194, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau 0002, Clovis Eberhart, Ichiro Hasuo |
Codensity Games for Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 40(2), pp. 403-465, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Andrea Marin, Carla Piazza, Sabina Rossi |
Proportional lumpability and proportional bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 59(2-3), pp. 211-244, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Petr Jancar |
Bisimilarity on Basic Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 903, pp. 26-38, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Kahl |
On symmetric higher-dimensional automata and bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 935, pp. 47-60, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Clemens Grabmayer |
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.12188, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Clemens Grabmayer |
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.09501, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Tom Hirschowitz, Ambroise Lafont |
A categorical framework for congruence of applicative bisimilarity in higher-order languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Mathias Hülsbusch, Barbara König 0001, Sebastian Küpper, Lara Stoltenow |
Conditional Bisimilarity for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(1), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Clemens Armin Grabmayer |
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete: Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, pp. 34:1-34:13, 2022, ACM, 978-1-4503-9351-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | David N. Jansen, Xinxin Liu |
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 358-370, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink |
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 98-115, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino |
A Sound Up-to-n, δ Bisimilarity for PCTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings, pp. 35-52, 2022, Springer, 978-3-031-08145-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | M. H. Bandukara, Nikos Tzevelekos |
On-The-Fly Bisimilarity Checking for Fresh-Register Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 187-204, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Kiefer, Qiyi Tang 0001 |
Strategies for MDP Bisimilarity Equivalence and Inequivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland., pp. 32:1-32:22, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-246-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Kohei Shimatani, Shigemasa Takai |
Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 104-A(2), pp. 438-446, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Roberto Gorrieri |
Team bisimilarity, and its associated modal logic, for BPP nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 58(5), pp. 529-569, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Gorrieri |
Place Bisimilarity is Decidable, Indeed! ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.01392, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Clemens Grabmayer |
A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.13104, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Thomas Kahl |
On symmetric higher-dimensional automata and bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.15223, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Cornelis A. Middelburg |
Dormancy-aware timed branching bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.08921, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Tom Hirschowitz, Ambroise Lafont |
A categorical framework for congruence of applicative bisimilarity in higher-order languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.16833, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Xian Xu, Wenbo Zhang |
On Decidability of the Bisimilarity on Higher-order Processes with Parameterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021., pp. 76-92, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino |
A Sound Up-to-$n$, $δ$ Bisimilarity for PCTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.03117, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Allan van Hulst |
A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.11144, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Filippo Bonchi, Alexandra Silva 0001, Ana Sokolova |
Distribution Bisimilarity via the Power of Convex Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(3), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Ross Horne, Sjouke Mauw |
Discovering ePassport Vulnerabilities using Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(2), pp. 24, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare, Qiyi Tang 0001, Franck van Breugel |
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(1), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Ki Yung Ahn, Ross Horne, Alwen Tiu |
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(3), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Ross Horne, Sjouke Mauw, Semen Yurkov |
Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings, pp. 235-255, 2021, Springer, 978-3-030-85314-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Stelios Tsampas 0001, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens |
Abstract Congruence Criteria for Weak Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., pp. 88:1-88:23, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-201-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Gorrieri |
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings, pp. 80-99, 2021, Springer, 978-3-030-78088-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Clemens Grabmayer |
A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria., pp. 16:1-16:23, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-212-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Denisa Diaconescu |
Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 173(2-3), pp. 177-189, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Valentina Castiglioni, Simone Tini |
Raiders of the lost equivalence: Probabilistic branching bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 159-160, pp. 105947, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Valentina Castiglioni, Simone Tini |
Probabilistic divide & congruence: Branching bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 802, pp. 147-196, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Qiyi Tang 0001, Franck van Breugel |
Deciding probabilistic bisimilarity distance one for probabilistic automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 111, pp. 57-84, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen 0001, Thi Hong Khanh Nguyen, Thanh-Luong Tran |
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.02857, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Bas Luttik |
Divergence-Preserving Branching Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020., pp. 3-11, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Mathias Hülsbusch, Barbara König 0001, Sebastian Küpper, Lara Stoltenow |
Conditional Bisimilarity for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.11792, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Rick Erkens, Jurriaan Rot, Bas Luttik |
Up-to Techniques for Branching Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.08944, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
Bisimilarity in fresh-register automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06411, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Barbara König 0001, Christina Mika-Michalski, Lutz Schröder |
Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.11459, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Clemens Grabmayer, Wan J. Fokkink |
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.12740, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink |
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.05578, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Stelios Tsampas 0001, Christian Williams, Dominique Devriese, Frank Piessens |
Abstract Congruence Criteria for Weak Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.07899, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Ross Horne, Sjouke Mauw |
Discovering ePassport Vulnerabilities using Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.07309, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Rob van Glabbeek, Bas Luttik, Linda Spaninks |
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 16(3), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen 0001, Thi Hong Khanh Nguyen, Thanh-Luong Tran |
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 388, pp. 146-178, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Sander de Putter, Frédéric Lang, Anton Wijs |
Compositional model checking with divergence preserving branching bisimilarity is lively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 196, pp. 102493, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Barbara König 0001, Christina Mika-Michalski, Lutz Schröder |
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings, pp. 133-154, 2020, Springer, 978-3-030-57200-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Marco Bernardo 0001 |
Towards General Axiomatizations for Bisimilarity and Trace Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers, pp. 31-53, 2020, Springer, 978-3-030-73784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Jérémy Dubut |
Bisimilarity of Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]., pp. 65-81, 2020, Springer, 978-3-030-43519-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Clemens Grabmayer, Wan J. Fokkink |
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020., pp. 465-478, 2020, ACM, 978-1-4503-7104-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk |
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 7:1-7:22, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Mathias Hülsbusch, Barbara König 0001, Sebastian Küpper, Lara Stoltenow |
Conditional Bisimilarity for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 10:1-10:19, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Sung-Shik Jongmans, Nobuko Yoshida |
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, pp. 251-279, 2020, Springer, 978-3-030-44913-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs |
An O(m log n) algorithm for branching bisimilarity on labelled transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, pp. 3-20, 2020, Springer, 978-3-030-45236-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos |
Deciding the Bisimilarity of Context-Free Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, pp. 39-56, 2020, Springer, 978-3-030-45236-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|