Search results for "Bisimulation"

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