The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase (F-)bisimulation (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-1988 (19) 1989 (20) 1990 (19) 1991 (35) 1992 (31) 1993 (38) 1994 (35) 1995 (38) 1996 (51) 1997 (36) 1998 (44) 1999 (47) 2000 (46) 2001 (45) 2002 (62) 2003 (60) 2004 (67) 2005 (87) 2006 (75) 2007 (80) 2008 (72) 2009 (68) 2010 (34) 2011 (31) 2012 (45) 2013 (44) 2014 (46) 2015 (44) 2016 (38) 2017 (36) 2018 (27) 2019 (28) 2020 (29) 2021 (27) 2022 (27) 2023 (29) 2024 (4)
Publication types (Num. hits)
article(446) book(1) incollection(12) inproceedings(1094) phdthesis(11)
Venues (Conferences, Journals, ...)
CONCUR(130) CoRR(108) ICALP(49) LICS(48) Theor. Comput. Sci.(44) FoSSaCS(40) Inf. Comput.(33) FSTTCS(32) CAV(29) MFCS(28) HSCC(22) ESOP(20) Acta Informatica(18) TACAS(17) CSL(16) AMAST(14) More (+10 of total 425)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 772 occurrences of 366 keywords

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