Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Thuy Duong Vu |
Deciding orthogonal bisimulation. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Orthogonal bisimulation equivalence, Branching bisimulation equivalence, Silent step, Labeled transition system, Concurrency theory |
96 | Xinxin Liu |
Expansive-Bisimulation for Context-Free Processes. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
96 | Tim French 0002 |
Bisimulation Quantified Logics: Undecidability. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
87 | Mario Bravetti, Roberto Gorrieri |
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement |
80 | Diptikalyan Saha |
An Incremental Bisimulation Algorithm. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
80 | A. J. van der Schaft |
Bisimulation of Dynamical Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
80 | Samik Basu 0001, Madhavan Mukund, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Rakesh M. Verma |
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
79 | Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu |
Bisimulation for General Stochastic Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
stochastic hybrid systems, simulation morphism, zigzag morphism, Markov processes, bisimulation, category theory |
77 | 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 |
73 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Fair Equivalence Relations. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
73 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Fair Equivalence Relations. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
73 | Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager |
Back and Forth Bisimulations. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
72 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Composed Bisimulation for Tree Automata. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
70 | Xian Xu 0001 |
On Bisimulation Theory in Linear Higher-Order pi-Calculus. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order |
70 | Rob J. van Glabbeek, W. P. Weijland |
Branching Time and Abstraction in Bisimulation Semantics. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time |
70 | Bard Bloom, Sorin Istrail, Albert R. Meyer |
Bisimulation Can't be Traced. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
process algebra, bisimulation, CCS, CCS, structural operational semantics |
65 | Damien Pous, Davide Sangiorgi |
Enhancements of the bisimulation proof method. |
Advanced Topics in Bisimulation and Coinduction |
2012 |
DBLP BibTeX RDF |
|
65 | Colin Stirling |
Bisimulation and logic. |
Advanced Topics in Bisimulation and Coinduction |
2012 |
DBLP BibTeX RDF |
|
65 | Davide Sangiorgi |
Origins of bisimulation and coinduction. |
Advanced Topics in Bisimulation and Coinduction |
2012 |
DBLP BibTeX RDF |
|
65 | Prakash Panangaden |
Probabilistic bisimulation. |
Advanced Topics in Bisimulation and Coinduction |
2012 |
DBLP BibTeX RDF |
|
65 | Rob J. van Glabbeek |
On Cool Congruence Formats for Weak Bisimulations. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
64 | Thomas A. Henzinger, Sriram K. Rajamani |
Fair Bisimulation. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
62 | Helle Hvid Hansen, Clemens Kupke, Eric Pacuit |
Bisimulation for Neighbourhood Structures. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
Neighbourhood semantics, non-normal modal logic, behavioural equivalence, invariance, bisimulation |
62 | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
From Bisimulation to Simulation: Coarsest Partition Problems. |
J. Autom. Reason. |
2003 |
DBLP DOI BibTeX RDF |
partition refinement problems, simulation, bisimulation |
61 | Daniel Hirschkoff |
Bisimulation verification using the up to techniques. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Up to bisimulation, Verification, Bisimulation, Pi-calculus |
56 | Davide Sangiorgi |
The Bisimulation Proof Method: Enhancements and Open Problems. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
56 | Taolue Chen, Tingting Han 0001, Jian Lu 0001 |
On the Bisimulation Congruence in chi-Calculus. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
56 | Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino |
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
56 | Sibylle B. Fröschle, Thomas T. Hildebrandt |
On Plain and Hereditary History-Preserving Bisimulation. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
56 | Mogens Nielsen, Christian Clausen |
Bisimulation for Models in Concurrency. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
56 | Philippe Darondeau, Pierpaolo Degano |
Causal Trees: Interleaving + Causality. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
concurrency, bisimulation, causality, non-determinism |
54 | Roberto M. Amadio |
On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
54 | Farn Wang |
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation |
54 | Søren B. Lassen, Paul Blain Levy |
Typed Normal Form Bisimulation for Parametric Polymorphism. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
LTS, bisimulation, parametric polymorphism, typed lambda calculus |
54 | Johanna Högberg, Andreas Maletti, Jonathan May |
Backward and Forward Bisimulation Minimisation of Tree Automata. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
natural language processing, bisimulation, minimisation, tree automata |
54 | Richard Mayr |
Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
1-counter nets, 1-counter machines, bisimulation |
54 | Alan Jeffrey, Julian Rathke |
Towards a Theory of Bisimulation for Local Names. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
nominal calculi, semantics, bisimulation |
54 | Ana Sokolova, Erik P. de Vink |
Probabilistic Automata: System Types, Parallel Composition and Comparison. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition |
53 | Giovanna D'Agostino |
Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. |
TbiLLC |
2005 |
DBLP DOI BibTeX RDF |
Bisimulation Quantifiers, Bisimulation, Fixed Points, Mu-Calculus |
50 | Andrew M. Pitts |
Howe's method for higher-order languages. |
Advanced Topics in Bisimulation and Coinduction |
2012 |
DBLP BibTeX RDF |
|
50 | Bart Jacobs 0001, Jan Rutten |
An introduction to (co)algebra and (co)induction. |
Advanced Topics in Bisimulation and Coinduction |
2012 |
DBLP BibTeX RDF |
|
50 | Luca Aceto, Anna Ingólfsdóttir, Jirí Srba |
The algorithmics of bisimilarity. |
Advanced Topics in Bisimulation and Coinduction |
2012 |
DBLP BibTeX RDF |
|
49 | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
On Bisimulations for the Asynchronous pi-Calculus. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
47 | David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez |
New Bisimulation Semantics for Distributed Systems. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Geoffrey Smith 0001 |
Probabilistic Noninterference through Weak Probabilistic Bisimulation. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Josée Desharnais, Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden |
Weak Bisimulation is Sound and Complete for PCTL*. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Stefano Cattani, Roberto Segala |
Decision Algorithms for Probabilistic Bisimulation. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Zhoujun Li, Huowang Chen |
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
47 | Christel Baier, Holger Hermanns |
Weak Bisimulation for Fully Probabilistic Processes. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
47 | Carsten Weise, Dirk Lenzkes |
Efficient Scaling-Invariant Checking of Timed Bisimulation. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
program specification and verification, real-time systems, decidability, algorithms and data structures, automata and formal languages |
47 | Kedar S. Namjoshi |
A Simple Characterization of Stuttering Bisimulation. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
47 | Xinxin Liu |
Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
47 | Robin Milner, Davide Sangiorgi |
Barbed Bisimulation. |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
47 | Kim Guldstrand Larsen, Arne Skou |
Bisimulation Through Probabilistic Testing. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
|
47 | Nataly S. Moskaljova, Irina B. Virbitskaite |
On the Category of Event Structures with Dense Time. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
timed event structures, timed bisimulation, category theory |
46 | Davide Sangiorgi |
On the origins of bisimulation and coinduction. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
greatest fixed points, Bisimulation, history, fixed points, coinduction |
46 | Julian Gutierrez 0001 |
Logics and Bisimulation Games for Concurrency, Causality and Conflict. |
FoSSaCS |
2009 |
DBLP DOI BibTeX RDF |
Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics |
46 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open bisimulation for aspects. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence |
46 | Massimo Merro, Matthew Hennessy |
A bisimulation-based semantic theory of Safe Ambients. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
distributed systems, Mobile agents, bisimulation |
46 | Stefan Blom, Simona Orzan |
A distributed algorithm for strong bisimulation reduction of state spaces. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Strong bisimulation, Distributed tools, Multirelational coarsest partition problem, Model checking, State space reduction |
46 | Agostino Dovier, Carla Piazza |
The Subgraph Bisimulation Problem. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
complexity, Bisimulation, semistructured data |
46 | Agostino Dovier, Carla Piazza, Alberto Policriti |
A Fast Bisimulation Algorithm. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
non well-founded sets, verification, automata, Bisimulation |
46 | Richard Mayr |
On the Complexity of Bisimulation Problems for Pushdown Automata. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
verification, complexity, bisimulation, Pushdown automata |
46 | Géraud Sénizergues |
Decidability of Bisimulation Equivalence for Equational Graphs of Finite Out-Degree. |
FOCS |
1998 |
DBLP DOI BibTeX RDF |
equational graphs, deterministic pushdown automata, rational languages, matrix semi-groups, complete formal systems, decidability, bisimulation |
46 | Erik P. de Vink, Jan J. M. M. Rutten |
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
probabilistic transition system, ultrametric space, Borel measure, final coalgebra, Bisimulation, coalgebra |
46 | Gabor Karsai, Anantha Narayanan |
Towards Verification of Model Transformations Via Goal-Directed Certification. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
Behavior Preservation, Weak Bisimulation, Semantic Anchoring, Bisimulation |
41 | Zining Cao |
Equivalence Checking for a Finite Higher Order pi-Calculus. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii |
Logical Bisimulations and Functional Languages. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna |
Post-reboot Equivalence and Compositional Verification of Hardware. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Vashti Galpin |
Comparison of Process Algebra Equivalences Using Formats. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Jeremy E. Dawson, Alwen Tiu |
Formalising Observer Theory for Environment-Sensitive Bisimulation. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Konstantinos Chatzikokolakis 0001, Gethin Norman, David Parker 0001 |
Bisimulation for Demonic Schedulers. |
FoSSaCS |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Michele Boreale |
Weighted Bisimulation in Linear Algebraic Form. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Yanfang Ma, Min Zhang 0007, Yixiang Chen |
Parameterized Bisimulation Infinite Evolution Mechanism. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
39 | James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh |
Control software model checking using bisimulation functions for nonlinear systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Pieter J. L. Cuijpers |
On Bicontinuous Bisimulation and the Preservation of Stability. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Alwen Tiu |
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Søren B. Lassen, Paul Blain Levy |
Typed Normal Form Bisimulation. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng |
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Zining Cao |
A Spatial Logical Characterisation of Context Bisimulation. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Roberto Segala, Andrea Turrini |
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Søren B. Lassen |
Eager Normal Form Bisimulation. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Yinhua Lü, Xiaorong Chen, Luming Fang, Hangjun Wang |
Towards a Symbolic Bisimulation for the Spi Calculus. |
MSN |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Anuj Dawar, David Janin |
On the Bisimulation Invariant Fragment of Monadic S1 in the Finite. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Andrei Sabelfeld |
Confidentiality for Multithreaded Programs via Bisimulation. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
Bisimulation Equivalences for Graph Grammars. |
Formal and Natural Computing |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Riccardo Focardi, Carla Piazza, Sabina Rossi |
Proofs Methods for Bisimulation Based Information Flow Security. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Philippe Schnoebelen |
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Anna Philippou, Insup Lee 0001, Oleg Sokolsky |
Weak Bisimulation for Probabilistic Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Marc Pauly |
From Programs to Games: Invariance and Safety for Bisimulation. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers |
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel |
Weak Bisimulation and Open Maps. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
semantics, Concurrency, denotational semantics, categorical models |
39 | Kathi Fisler, Moshe Y. Vardi |
Bisimulation and Model Checking. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Daniel Hirschkoff |
On the Benefits of Using the Up-To Techniques for Bisimulation Verification. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Flavio Corradini, Rocco De Nicola, Anna Labella |
Graded Modalities and Resource Bisimulation. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Petr Jancar, Antonín Kucera 0001, Richard Mayr |
Deciding Bisimulation-Like Equivalences with Finite-State Processes. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Zhoujun Li, Huowang Chen |
Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Martín Abadi, Andrew D. Gordon 0001 |
A Bisimulation Method for Cryptographic Protocols. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Thomas Hune, Mogens Nielsen |
Timed Bisimulation and Open Maps. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Gian Luca Cattani, John Power, Glynn Winskel |
A Categorical Axiomatics for Bisimulation. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|