Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Søren B. Lassen |
Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context. |
MFPS |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Alwen Tiu, Jeremy E. Dawson |
Automating Open Bisimulation Checking for the Spi Calculus. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
open bisimulation, symbolic trace analysis, intruder deduction, spi-calculus |
30 | Zining Cao |
A True Concurrent Process Calculus and Its Conflict Bisimulation. |
SNPD |
2009 |
DBLP DOI BibTeX RDF |
Bisimulation, Process Calculus, True Concurrency |
30 | Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001 |
Optimization techniques for BDD-based bisimulation computation. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
binary decision diagrams, bisimulation, state space reduction, state space explosion, symbolic methods |
30 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop |
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
bisimulation semantics, simple context-free languages, process algebra, context-free grammars |
30 | Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor |
Weak Equivalences in Psi-Calculi. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
pi-calculus extension, weak bisimulation, barbed bisimulation |
30 | Kim Guldstrand Larsen |
Compositional Theories Based on an Operational Semantics of Contexts. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
Classification of Compositionality, Contexts as Transducers, Relative Bisimulation, Recursive Modal Logic, Weakest Property Transformer, Process Algebra, Bisimulation, Reactive Systems, Environments, Compositionality |
24 | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga |
Linear and Branching System Metrics. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
Approximating Markov Processes by Averaging. |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Richard Molyneux, Vladimir Sazonov |
Hyperset Approach to Semi-structured Databases. |
BNCOD |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
Approximating Labelled Markov Processes Again! |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Gabriel Ciobanu |
Behaviour Equivalences in Timed Distributed pi-Calculus. |
Software-Intensive Systems and New Computing Paradigms |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Yuichi Tazaki, Jun-ichi Imura |
Bisimilar Finite Abstractions of Interconnected Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Rui Qiao 0003, Yuan Wang, Xinyan Gao, Jinzhao Wu |
Operational semantics of probabilistic Kleene algebra with tests. |
ISCC |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Joëlle Cohen, Anatol Slissenko |
Stability of Real-Time Abstract State Machines under Desynchronization. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Xinxin Liu, Haiyan Chen |
Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Zining Cao |
Bisimulations for a Distributed Higher Order pi -Calculus. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay |
Qualitative Logics and Equivalences for Probabilistic Systems. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jennifer M. Davoren |
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Tim French 0002 |
Idempotent Transductions for Modal Logics. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | A. Agung Julius |
Approximate Abstraction of Stochastic Hybrid Automata. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Christel Baier, Verena Wolf |
Stochastic Reasoning About Channel-Based Component Connectors. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Gabriel Ciobanu, Viorel Mihai Gontineac |
Algebraic and Coalgebraic Aspects of Membrane Computing. |
Workshop on Membrane Computing |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden |
Approximate Reasoning for Real-Time Probabilistic Processes. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Luca de Alfaro, Marco Faella, Mariëlle Stoelinga |
Linear and Branching Metrics for Quantitative Transition Systems. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
Comparing Recursion, Replication, and Iteration in Process Calculi. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jifeng He 0001 |
Linking Theories of Concurrency. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Dale Miller 0001 |
Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Marco Bernardo 0001, Mario Bravetti |
Reward Based Congruences: Can We Aggregate More? |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Irina B. Virbitskaite |
Characterizing Timed Net Processes Categorically. |
PaCT |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Huimin Lin, Wang Yi 0001 |
A Proof System for Timed Automata. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Christel Baier, Mariëlle Stoelinga |
Norm Functions for Probabilistic Bisimulations with Delays. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Cédric Fournet, Georges Gonthier |
A Hierarchy of Equivalences for Asynchronous Calculi. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Julian Rathke |
Resource Based Models for Asynchrony. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Glynn Winskel |
A Presheaf Semantics of Value-Passing Processes. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Gian Luca Cattani, Glynn Winskel |
Presheaf Models for Concurrency. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Matthew Hennessy, Julian Rathke |
Bisimulations for a Calculus of Broadcasting Systems. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Mogens Nielsen, Allan Cheng |
Obseving Behaviour Categorically. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Michele Boreale, Rocco De Nicola |
A Symbolic Semantics for the pi-calculus (Extended Abstract). |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Ursula Goltz, Ruurd Kuiper 0001, Wojciech Penczek |
Propositional Temporal Logics and Equivalences. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Luca Aceto |
On Relating Concurency and Nondeterminism. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Cyril Autant, Z. Belmesk, Philippe Schnoebelen |
Strong Bisimilarity on Nets Revisited. |
PARLE (2) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Robin Milner, Joachim Parrow, David Walker 0001 |
Modal Logics for Mobile Processes. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Philippe Schnoebelen, Sophie Pinchinat |
On the Weak Adequacy of Branching-Time Remporal Logic. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Chi-Chang Jou, Scott A. Smolka |
Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Gang Zheng, Antoine Girard |
Bounded and Unbounded Safety Verification Using Bisimulation Metrics. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Han Zhu, Yonggen Gu, Xiaojuan Cai |
Knowledge Aware Bisimulation and Anonymity. |
ICCS (1) |
2009 |
DBLP DOI BibTeX RDF |
Applied Pi, Formal Methods, Network Security, Anonymity |
23 | Weisong Li |
Algorithms for Computing Weak Bisimulation Equivalence. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Maria Grazia Buscemi, Ugo Montanari |
Open Bisimulation for the Concurrent Constraint Pi-Calculus. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
23 | Johanna Högberg, Andreas Maletti, Jonathan May |
Bisimulation Minimisation for Weighted Tree Automata. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Stéphanie Delaune, Steve Kremer, Mark Ryan 0001 |
Symbolic Bisimulation for the Applied Pi Calculus. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Farong Zhong, Yuxi Fu, Xiaoju Dong |
Bisimulation Congruence for Asymmetric chi ^ e -Calculus. |
ISPDC |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulation Congruences in the Calculus of Looping Sequences. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Ralf Wimmer 0001, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker 0001 |
Sigref- A Symbolic Bisimulation Tool Box. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Slawomir Lasota 0001, Wojciech Rytter |
Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Parosh Aziz Abdulla, Lisa Kaati, Johanna Högberg |
Bisimulation Minimization of Tree Automata. |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse |
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Jirí Srba |
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
23 | Stefan Strubbe, A. J. van der Schaft |
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs). |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski 0001 |
Deriving Weak Bisimulation Congruences from Reduction Systems. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jan A. Bergstra, Cornelis A. Middelburg |
Strong Splitting Bisimulation Equivalence. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Davide Sangiorgi |
Bisimulation: From The Origins to Today. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for dynamic sealing. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Gerald Lüttgen, Walter Vogler |
Bisimulation on Speed: Lower Time Bounds. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Hartmut Ehrig, Barbara König 0001 |
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Massimo Merro, Francesco Zappa Nardelli |
Bisimulation Proof Methods for Mobile Ambients. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Vladimiro Sassone, Pawel Sobocinski 0001 |
Deriving Bisimulation Congruences: 2-Categories Vs Precategories. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Michael Backes 0001, Christian Jacobi 0002, Birgit Pfitzmann |
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. |
FME |
2002 |
DBLP DOI BibTeX RDF |
security, cryptography, formal verification, PVS, simulatability |
23 | Tak-John Koo, Shankar Sastry 0001 |
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Philippe Schnoebelen, Natalia Sidorova |
Bisimulation and the Reduction of Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Petr Jancar, Antonín Kucera 0001, Faron Moller |
Simulation and Bisimulation over One-Counter Processes. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Irek Ulidowski, Shoji Yuen |
Process Languages for Rooted Eager Bisimulation. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Ugo Montanari, Marco Pistore |
Minimal Transition Systems for History-Preserving Bisimulation. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Stavros Tripakis, Sergio Yovine |
Analysis of Timed Systems Based on Time-Abstracting Bisimulation. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Christel Baier |
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Parosh Aziz Abdulla, Mats Kindahl |
Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
23 | David Walker 0008 |
On Bisimulation in the pi-calculus. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Amar Bouali, Robert de Simone |
Symbolic Bisimulation Minimisation. |
CAV |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Søren Christensen, Hans Hüttel, Colin Stirling |
Bisimulation Equivalence is Decidable for all Context-Free Processes. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Tim Fernando |
A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop |
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. |
PARLE (2) |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Xian Xu 0001 |
Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
encoding, bisimulation, full abstraction, process calculus, higher order |
23 | Prithviraj Sen, Amol Deshpande, Lise Getoor |
PrDB: managing and exploiting rich correlations in probabilistic databases. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
Lifted inference, Query processing, Graphical models, Bisimulation, Probabilistic databases, Uncertain databases |
23 | Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Semialgebraic geometry, Hybrid system, Dynamical system, Bisimulation |
23 | Panagiotis Manolios, Sudarshan K. Srinivasan |
Automatic verification of safety and liveness for pipelined machines using WEB refinement. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps |
23 | Hans P. van Ditmarsch, Tim French 0002 |
Simulation and Information: Quantifying over Epistemic Events. |
KRAMAS |
2008 |
DBLP DOI BibTeX RDF |
Bisimulation quantifier, temporal epistemic logic, multi-agent system, modal logic |
23 | Xiaoju Dong, Yuxi Fu |
Barbed Congruence of Asymmetry and Mismatch. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
bisimulation, axiomatization, process calculus |
23 | Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, John Hatcliff, Matthew B. Dwyer |
A new foundation for control dependence and slicing for modern program structures. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence |
23 | Kristian Støvring, Søren B. Lassen |
A complete, co-inductive syntactic theory of sequential control and state. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
mutable references, continuations, bisimulation |
23 | A. V. S. Rajan, S. Bavan, Geetha Abeysinghe |
Semantics for the Specification of Asynchronous Communicating Systems (SACS). |
SCSS (1) |
2007 |
DBLP DOI BibTeX RDF |
Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation |
23 | Mark Grechanik |
Finding errors in components that exchange xml data. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
schema validator, interoperability, program analysis, bisimulation, XML schema, symbolic execution |
23 | Sun Meng |
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
Q-algebra, QCCS, Quantified Bisimulation, QCTL, Quality of Service |
23 | Gabriel Ciobanu, Dorel Lucanu |
A specification language for coordinated objects. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
coordination, temporal logic, process algebra, objects, bisimulation, classes |
23 | Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager |
Model checker aided design of a controller for a wafer scanner. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Resource allocation systems, Deadlock avoidance policy, Finite and timed automata, Stuttering bisimulation, Model checking, Throughput optimization |
23 | Jan Komenda, Jan H. van Schuppen |
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. |
Discret. Event Dyn. Syst. |
2005 |
DBLP DOI BibTeX RDF |
bisimulation, supervisory control, coalgebra, coinduction, partial observations |
23 | Stefan Blom, Simona Orzan |
Distributed state space minimization. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Distributed verification, Bisimulation equivalence |