Search results for "bisimilarity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Jifeng He 0001	Linking Theories of Concurrency.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
23	Lucian Wischik, Philippa Gardner	Strong Bisimulation for the Explicit Fusion Calculus.	FoSSaCS	2004	DBLP DOI BibTeX RDF
23	Thomas Colcombet, Christof Löding	On the Expressiveness of Deterministic Transducers over Infinite Trees.	STACS	2004	DBLP DOI BibTeX RDF
23	Daniel Hirschkoff	An Extensional Spatial Logic for Mobile Processes.	CONCUR	2004	DBLP DOI BibTeX RDF
23	Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar	Discounting the Future in Systems Theory.	ICALP	2003	DBLP DOI BibTeX RDF
23	Slawomir Lasota 0001	A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes.	MFCS	2003	DBLP DOI BibTeX RDF
23	Jirí Srba	Note on the Tableau Technique for Commutative Transition Systems.	FoSSaCS	2002	DBLP DOI BibTeX RDF
23	Michele Boreale, Daniele Gorla	On Compositional Reasoning in the Spi-calculus.	FoSSaCS	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.	MFCS	2002	DBLP DOI BibTeX RDF
23	Barbara König 0001, Ugo Montanari	Observational Equivalence for Synchronized Graph Rewriting with Mobility.	TACS	2001	DBLP DOI BibTeX RDF
23	Bart Jacobs 0001	Exercises in Coalgebraic Specification.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
23	Roberto Bruni, Ugo Montanari, Vladimiro Sassone	Open Ended Systems, Dynamic Bisimulation and Tile Logic.	IFIP TCS	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.	Acta Informatica	1999	DBLP DOI BibTeX RDF
23	Jitka Stríbrná	Approximating Weak Bisimulation on Basic Process Algebras.	MFCS	1999	DBLP DOI BibTeX RDF
23	Petr Jancar, Antonín Kucera 0001, Richard Mayr	Deciding Bisimulation-Like Equivalences with Finite-State Processes.	ICALP	1998	DBLP DOI BibTeX RDF
23	Thomas A. Henzinger, Peter W. Kopke	Discrete-Time Control for Rectangular Hybrid Automata.	ICALP	1997	DBLP DOI BibTeX RDF
23	Kohei Honda 0001	Types for Dyadic Interaction.	CONCUR	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.	PARLE (1)	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.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
18	Jules Jacobs, Thorsten Wißmann	Fast Coalgebraic Bisimilarity Minimization.	Proc. ACM Program. Lang.	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.	Softw. Syst. Model.	2023	DBLP DOI BibTeX RDF
18	Shigemasa Takai	Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications.	Autom.	2023	DBLP DOI BibTeX RDF
18	Roberto Gorrieri	Branching Place Bisimilarity.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
18	Tom Hirschowitz, Ambroise Lafont	A more general categorical framework for congruence of applicative bisimilarity.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
18	Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink	On Bisimilarity for Quasi-discrete Closure Spaces.	CoRR	2023	DBLP DOI BibTeX RDF
18	Rob van Glabbeek, Peter Höfner, Weiyou Wang	A Lean-Congruence Format for EP-Bisimilarity.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
18		Compositional Net Semantics up to Step Net Bisimilarity.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
18	Rob van Glabbeek, Peter Höfner, Weiyou Wang	A Lean-Congruence Format for EP-Bisimilarity.	CoRR	2023	DBLP DOI BibTeX RDF
18	Clemens Grabmayer	A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity.	Log. Methods Comput. Sci.	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.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
18	Kangli He, Hengyang Wu, Yixiang Chen	On divergence-sensitive weak probabilistic bisimilarity.	Inf. Comput.	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.	FM	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.	ICALP	2023	DBLP DOI BibTeX RDF
18	Amgad Rady, Franck van Breugel	Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains.	FoSSaCS	2023	DBLP DOI BibTeX RDF
18	Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen	Preservation and Reflection of Bisimilarity via Invertible Steps.	FoSSaCS	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.	FORTE	2023	DBLP DOI BibTeX RDF
18	Semen Yurkov	Analysis of Smartcard-based Payment Protocols in the Applied Pi-calculus using Quasi-Open Bisimilarity.		2023	RDF
18	Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar	Resource Bisimilarity in Petri Nets is Decidable.	Fundam. Informaticae	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.	New Gener. Comput.	2022	DBLP DOI BibTeX RDF
18	Andrea Marin, Carla Piazza, Sabina Rossi	Proportional lumpability and proportional bisimilarity.	Acta Informatica	2022	DBLP DOI BibTeX RDF
18	Petr Jancar	Bisimilarity on Basic Parallel Processes.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
18	Thomas Kahl	On symmetric higher-dimensional automata and bisimilarity.	Theor. Comput. Sci.	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).	CoRR	2022	DBLP DOI BibTeX RDF
18	Clemens Grabmayer	A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity.	CoRR	2022	DBLP DOI BibTeX RDF
18	Tom Hirschowitz, Ambroise Lafont	A categorical framework for congruence of applicative bisimilarity in higher-order languages.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
18	Mathias Hülsbusch, Barbara König 0001, Sebastian Küpper, Lara Stoltenow	Conditional Bisimilarity for Reactive Systems.	Log. Methods Comput. Sci.	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.	LICS	2022	DBLP DOI BibTeX RDF
18	David N. Jansen, Xinxin Liu	Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof.	A Journey from Process Algebra via Timed Automata to Model Learning	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.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
18	Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino	A Sound Up-to-n, δ Bisimilarity for PCTL.	COORDINATION	2022	DBLP DOI BibTeX RDF
18	M. H. Bandukara, Nikos Tzevelekos	On-The-Fly Bisimilarity Checking for Fresh-Register Automata.	SETTA	2022	DBLP DOI BibTeX RDF
18	Stefan Kiefer, Qiyi Tang 0001	Strategies for MDP Bisimilarity Equivalence and Inequivalence.	CONCUR	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.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2021	DBLP BibTeX RDF
18	Roberto Gorrieri	Team bisimilarity, and its associated modal logic, for BPP nets.	Acta Informatica	2021	DBLP DOI BibTeX RDF
18	Roberto Gorrieri	Place Bisimilarity is Decidable, Indeed!	CoRR	2021	DBLP BibTeX RDF
18	Clemens Grabmayer	A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity.	CoRR	2021	DBLP BibTeX RDF
18	Thomas Kahl	On symmetric higher-dimensional automata and bisimilarity.	CoRR	2021	DBLP BibTeX RDF
18	Cornelis A. Middelburg	Dormancy-aware timed branching bisimilarity.	CoRR	2021	DBLP BibTeX RDF
18	Tom Hirschowitz, Ambroise Lafont	A categorical framework for congruence of applicative bisimilarity in higher-order languages.	CoRR	2021	DBLP BibTeX RDF
18	Xian Xu, Wenbo Zhang	On Decidability of the Bisimilarity on Higher-order Processes with Parameterization.	EXPRESS/SOS	2021	DBLP DOI BibTeX RDF
18	Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino	A Sound Up-to-$n$, $δ$ Bisimilarity for PCTL.	CoRR	2021	DBLP BibTeX RDF
18	Allan van Hulst	A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof.	CoRR	2021	DBLP BibTeX RDF
18	Filippo Bonchi, Alexandra Silva 0001, Ana Sokolova	Distribution Bisimilarity via the Power of Convex Algebras.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
18	Ross Horne, Sjouke Mauw	Discovering ePassport Vulnerabilities using Bisimilarity.	Log. Methods Comput. Sci.	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.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
18	Ki Yung Ahn, Ross Horne, Alwen Tiu	A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic.	Log. Methods Comput. Sci.	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.	ICTAC	2021	DBLP DOI BibTeX RDF
18	Stelios Tsampas 0001, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens	Abstract Congruence Criteria for Weak Bisimilarity.	MFCS	2021	DBLP DOI BibTeX RDF
18	Roberto Gorrieri	Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves.	FORTE	2021	DBLP DOI BibTeX RDF
18	Clemens Grabmayer	A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity.	CALCO	2021	DBLP DOI BibTeX RDF
18	Denisa Diaconescu	Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations.	Fundam. Informaticae	2020	DBLP DOI BibTeX RDF
18	Valentina Castiglioni, Simone Tini	Raiders of the lost equivalence: Probabilistic branching bisimilarity.	Inf. Process. Lett.	2020	DBLP DOI BibTeX RDF
18	Valentina Castiglioni, Simone Tini	Probabilistic divide & congruence: Branching bisimilarity.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
18	Qiyi Tang 0001, Franck van Breugel	Deciding probabilistic bisimilarity distance one for probabilistic automata.	J. Comput. Syst. Sci.	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.	CoRR	2020	DBLP BibTeX RDF
18	Bas Luttik	Divergence-Preserving Branching Bisimilarity.	EXPRESS/SOS	2020	DBLP DOI BibTeX RDF
18	Mathias Hülsbusch, Barbara König 0001, Sebastian Küpper, Lara Stoltenow	Conditional Bisimilarity for Reactive Systems.	CoRR	2020	DBLP BibTeX RDF
18	Rick Erkens, Jurriaan Rot, Bas Luttik	Up-to Techniques for Branching Bisimilarity.	CoRR	2020	DBLP BibTeX RDF
18	Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos	Bisimilarity in fresh-register automata.	CoRR	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.	CoRR	2020	DBLP BibTeX RDF
18	Clemens Grabmayer, Wan J. Fokkink	A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity.	CoRR	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.	CoRR	2020	DBLP BibTeX RDF
18	Stelios Tsampas 0001, Christian Williams, Dominique Devriese, Frank Piessens	Abstract Congruence Criteria for Weak Bisimilarity.	CoRR	2020	DBLP BibTeX RDF
18	Ross Horne, Sjouke Mauw	Discovering ePassport Vulnerabilities using Bisimilarity.	CoRR	2020	DBLP BibTeX RDF
18	Rob van Glabbeek, Bas Luttik, Linda Spaninks	Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.	Log. Methods Comput. Sci.	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.	Fuzzy Sets Syst.	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.	Sci. Comput. Program.	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.	CMCS	2020	DBLP DOI BibTeX RDF
18	Marco Bernardo 0001	Towards General Axiomatizations for Bisimilarity and Trace Semantics.	WADT	2020	DBLP DOI BibTeX RDF
18	Jérémy Dubut	Bisimilarity of Diagrams.	RAMiCS	2020	DBLP DOI BibTeX RDF
18	Clemens Grabmayer, Wan J. Fokkink	A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity.	LICS	2020	DBLP DOI BibTeX RDF
18	Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk	A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.	FSCD	2020	DBLP DOI BibTeX RDF
18	Mathias Hülsbusch, Barbara König 0001, Sebastian Küpper, Lara Stoltenow	Conditional Bisimilarity for Reactive Systems.	FSCD	2020	DBLP DOI BibTeX RDF
18	Sung-Shik Jongmans, Nobuko Yoshida	Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types.	ESOP	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.	TACAS (2)	2020	DBLP DOI BibTeX RDF
18	Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos	Deciding the Bisimilarity of Context-Free Session Types.	TACAS (2)	2020	DBLP DOI BibTeX RDF