Search results for "bisimulation"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir	A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages	SOS	2009	DBLP DOI BibTeX RDF
15	Nikola Trcka	Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach	QFM	2009	DBLP DOI BibTeX RDF
15	Mariken H. C. Everdij, Henk A. P. Blom	Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets	FMA	2009	DBLP DOI BibTeX RDF
15	Alwen Tiu	A Trace Based Bisimulation for the Spi Calculus	CoRR	2009	DBLP BibTeX RDF
15	Stefan Blom, Jaco van de Pol	Distributed Branching Bisimulation Minimization by Inductive Signatures	PDMC	2009	DBLP DOI BibTeX RDF
15	Katrin Iltgen, Walter Vogler	Robustness of a bisimulation-type faster-than preorder	EXPRESS	2009	DBLP DOI BibTeX RDF
15	Radha Jagadeesan, Corin Pitcher, James Riely	Open Bisimulation for Aspects.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF
15	Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar	Composed Bisimulation for Tree Automata.	Int. J. Found. Comput. Sci.	2009	DBLP DOI BibTeX RDF
15	Ana Sokolova, Erik P. de Vink, Harald Woracek	Coalgebraic Weak Bisimulation for Action-Type Systems.	Sci. Ann. Comput. Sci.	2009	DBLP BibTeX RDF
15	Filippo Bonchi, Fabio Gadducci, Barbara König 0001	Synthesising CCS bisimulation using graph rewriting.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
15	Prithviraj Sen, Amol Deshpande, Lise Getoor	Bisimulation-based Approximate Lifted Inference.	UAI	2009	DBLP BibTeX RDF
15	Jeroen Keiren, Tim A. C. Willemse	Bisimulation Minimisations for Boolean Equation Systems.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
15	Nikola Trcka, Sonja Georgievska	Branching Bisimulation Congruence for Probabilistic Systems.	QAPL	2008	DBLP DOI BibTeX RDF
15	Roberto M. Amadio	On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS.	EXPRESS	2008	DBLP DOI BibTeX RDF
15	Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol	Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking.	PDMC@ETAPS	2008	DBLP DOI BibTeX RDF
15	Peter Buchholz 0001	Bisimulation relations for weighted automata.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
15	Damien Pous	Using bisimulation proof techniques for the analysis of distributed abstract machines.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
15	Roberto M. Amadio	On convergence-sensitive bisimulation and the embedding of CCS in timed CCS	CoRR	2008	DBLP BibTeX RDF
15	Alwen Tiu, Dale Miller 0001	Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus	CoRR	2008	DBLP BibTeX RDF
15	Giovanna D'Agostino, Giacomo Lenzi	A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames.	J. Log. Comput.	2008	DBLP DOI BibTeX RDF
15	Paulo Tabuada	Controller synthesis for bisimulation equivalence.	Syst. Control. Lett.	2008	DBLP DOI BibTeX RDF
15	Guilherme Rangel, Barbara König 0001, Hartmut Ehrig	Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.	FoSSaCS	2008	DBLP DOI BibTeX RDF
15	Marco Bernardo 0001	Non-bisimulation-based Markovian behavioral equivalences.	J. Log. Algebraic Methods Program.	2007	DBLP DOI BibTeX RDF
15	Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001	Linearity and bisimulation.	J. Log. Algebraic Methods Program.	2007	DBLP DOI BibTeX RDF
15	Jesper Bengtson, Joachim Parrow	A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle.	SOS@LICS/ICALP	2007	DBLP DOI BibTeX RDF
15	Antoine Girard, George J. Pappas	Approximate bisimulation relations for constrained linear systems.	Autom.	2007	DBLP DOI BibTeX RDF
15	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for dynamic sealing.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
15	Sébastien Briais, Uwe Nestmann	Open bisimulation, revisited.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
15	Damien Pous	New up-to techniques for weak bisimulation.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
15	Guilherme Rangel, Barbara König 0001, Hartmut Ehrig	Bisimulation Verification for the DPO Approach with Borrowed.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2007	DBLP DOI BibTeX RDF
15	Parosh Aziz Abdulla, Johanna Högberg, Lisa Kaati	Bisimulation Minimization of Tree Automata.	Int. J. Found. Comput. Sci.	2007	DBLP DOI BibTeX RDF
15	Kevin A. Grasse	Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances.	SIAM J. Control. Optim.	2007	DBLP DOI BibTeX RDF
15	Ernest Cachia, Mark Vella	Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I.	ECBS	2007	DBLP DOI BibTeX RDF
15	Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001	Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation.	MBMV	2007	DBLP BibTeX RDF
15	Giordano Pola, Antoine Girard, Paulo Tabuada	Symbolic models for nonlinear control systems using approximate bisimulation.	CDC	2007	DBLP DOI BibTeX RDF
15		Network Protocols Analyzing by an Environmental Bisimulation Method.	SNPD (2)	2007	DBLP DOI BibTeX RDF
15	Mario Bravetti	Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time.	LIX	2006	DBLP DOI BibTeX RDF
15	Lingyun Luo	An Effective Coalgebraic Bisimulation Proof Method.	CMCS	2006	DBLP DOI BibTeX RDF
15	Simone Tini	Notes on Generative Probabilistic Bisimulation.	SOS@CONCUR	2006	DBLP DOI BibTeX RDF
15	Hartmut Ehrig, Barbara König 0001	Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts.	Math. Struct. Comput. Sci.	2006	DBLP DOI BibTeX RDF
15	Changyan Zhou, Ratnesh Kumar 0001, Shengbing Jiang	Control of nondeterministic discrete-event systems for bisimulation equivalence.	IEEE Trans. Autom. Control.	2006	DBLP DOI BibTeX RDF
15	Gerald Lüttgen, Walter Vogler	Bisimulation on speed: A unified approach.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
15	Suzana Andova, Tim A. C. Willemse	Branching bisimulation for probabilistic systems: Characteristics and decidability.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
15	Giovanna D'Agostino, Giacomo Lenzi, Tim French 0002	µ-programs, uniform interpolation and bisimulation quantifiers for modal logics.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
15	Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden	Bisimulation and cocongruence for probabilistic systems.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
15	Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001	Minimization of Large State Spaces using Symbolic Branching Bisimulation.	DDECS	2006	DBLP DOI BibTeX RDF
15	Ratnesh Kumar 0001, Changyan Zhou, Samik Basu 0001	Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables.	ACC	2006	DBLP DOI BibTeX RDF
15	A. Agung Julius, Antoine Girard, George J. Pappas	Approximate bisimulation for a class of stochastic hybrid systems.	ACC	2006	DBLP DOI BibTeX RDF
15	Tim French 0002	Bisimulation Quantified Modal Logics: Decidability.	Advances in Modal Logic	2006	DBLP BibTeX RDF
15	Will Harwood, Faron Moller, Anton Setzer	Weak Bisimulation Approximants.	CSL	2006	DBLP DOI BibTeX RDF
15	Filippo Bonchi, Fabio Gadducci, Barbara König 0001	Process Bisimulation Via a Graphical Encoding.	ICGT	2006	DBLP DOI BibTeX RDF
15	Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf	Bisimulation and Simulation Relations for Markov Chains.	APC 25	2005	DBLP DOI BibTeX RDF
15	Davide Sangiorgi	Bisimulation and Co-induction: Some Problems.	APC 25	2005	DBLP DOI BibTeX RDF
15	Sébastien Briais, Uwe Nestmann	Open Bisimulation, Revisited.	EXPRESS	2005	DBLP DOI BibTeX RDF
15	Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind	Divide and Congruence Applied to eta-Bisimulation.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
15	Gian Luca Cattani, Glynn Winskel	Profunctors, open maps and bisimulation.	Math. Struct. Comput. Sci.	2005	DBLP DOI BibTeX RDF
15	Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas	Bisimulation relations for dynamical, control, and hybrid systems.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
15	Giovanna D'Agostino, Giacomo Lenzi	An axiomatization of bisimulation quantifiers via the mu-calculus.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
15	Yuxi Fu	On quasi-open bisimulation.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
15	Marie Lalire	A probabilistic branching bisimulation for quantum processes	CoRR	2005	DBLP BibTeX RDF
15	Gerald Lüttgen, Walter Vogler	Bisimulation on speed: Lower time bounds.	RAIRO Theor. Informatics Appl.	2005	DBLP DOI BibTeX RDF
15	Mohammad Reza Mousavi 0001, Michel A. Reniers, Jan Friso Groote	Notions of bisimulation and congruence formats for SOS with data.	Inf. Comput.	2005	DBLP DOI BibTeX RDF
15	Géraud Sénizergues	The Bisimulation Problem for Equational Graphs of Finite Out-Degree.	SIAM J. Comput.	2005	DBLP DOI BibTeX RDF
15	A. Agung Julius, A. J. van der Schaft	Bisimulation as congruence in the behavioral setting.	CDC/ECC	2005	DBLP DOI BibTeX RDF
15	Stefan Strubbe, Arjan van der Schaft	Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes.	CDC/ECC	2005	DBLP DOI BibTeX RDF
15	Sibylle B. Fröschle, Slawomir Lasota 0001	Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.	CONCUR	2005	DBLP DOI BibTeX RDF
15	Irek Ulidowski, Shoji Yuen	Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation.	J. Log. Algebraic Methods Program.	2004	DBLP DOI BibTeX RDF
15	Martin Kot, Zdenek Sawa	Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time.	INFINITY	2004	DBLP DOI BibTeX RDF
15	Ana Sokolova, Erik P. de Vink, Harald Woracek	Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).	CTCS	2004	DBLP DOI BibTeX RDF
15	Matthias Mann 0001	Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus.	SOS@CONCUR	2004	DBLP DOI BibTeX RDF
15	Yongjian Li, Xinxin Liu	Towards a Theory of Bisimulation for the Higher-Order Process Calculi.	J. Comput. Sci. Technol.	2004	DBLP DOI BibTeX RDF
15	Arjan van der Schaft	Equivalence of dynamical systems by bisimulation.	IEEE Trans. Autom. Control.	2004	DBLP DOI BibTeX RDF
15	Agostino Dovier, Carla Piazza, Alberto Policriti	An efficient algorithm for computing bisimulation equivalence.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
15	Alan Jeffrey, Julian Rathke	A theory of bisimulation for a fragment of concurrent ML with local names.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
15	Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra	Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
15	Gerald Lüttgen, Walter Vogler	Bisimulation on speed: worst-case efficiency.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
15	Faron Moller, Scott A. Smolka, Jirí Srba	On the computational complexity of bisimulation, redux.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
15	Pawel Sobocinski 0001	Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
15	Changyan Zhou, Ratnesh Kumar 0001, Shengbing Jiang	Control of nondeterministic discrete event systems for bisimulation equivalence.	ACC	2004	DBLP DOI BibTeX RDF
15	Giordano Pola, Arjan J. van der Schaft, Maria Domenica Di Benedetto	Bisimulation theory for switching linear systems.	CDC	2004	DBLP DOI BibTeX RDF
15	Valentin B. Shehtman	Filtration via Bisimulation.	Advances in Modal Logic	2004	DBLP BibTeX RDF
15	Johannes Borgström, Sébastien Briais, Uwe Nestmann	Symbolic Bisimulation in the Spi Calculus.	CONCUR	2004	DBLP DOI BibTeX RDF
15	Vladimir A. Bashkin, Irina A. Lomazova	Petri nets and resource bisimulation.	Fundam. Informaticae	2003	DBLP BibTeX RDF
15	Josée Desharnais, Prakash Panangaden	Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.	J. Log. Algebraic Methods Program.	2003	DBLP DOI BibTeX RDF
15	Stefan Blom, Simona Orzan	Distributed Branching Bisimulation Reduction of State Spaces.	PDMC@CAV	2003	DBLP DOI BibTeX RDF
15	Eugene W. Stark	On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation.	J. Autom. Lang. Comb.	2003	DBLP DOI BibTeX RDF
15	Peter Buchholz 0001, Peter Kemper	Weak Bisimulation for (max/+) Automata and Related Models.	J. Autom. Lang. Comb.	2003	DBLP DOI BibTeX RDF
15	Jan A. Bergstra, Alban Ponse, Mark van der Zwaag	Branching time and orthogonal bisimulation equivalence.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
15	Vladimiro Sassone, Pawel Sobocinski 0001	Deriving Bisimulation Congruences using 2-categories.	Nord. J. Comput.	2003	DBLP BibTeX RDF
15	John Mullins, Stéphane Lafrance	Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols.	Inf. Softw. Technol.	2003	DBLP DOI BibTeX RDF
15	Huimin Lin	Complete inference systems for weak bisimulation equivalences in the pi-calculus.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
15	Yuxi Fu	Bisimulation congruence of chi calculus.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
15	Colin Stirling	Bisimulation and Language Equivalence.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
15	Faron Moller, Scott A. Smolka	On the Computational Complexity of Bisimulation, Redux.	PCK50	2003	DBLP DOI BibTeX RDF
15	Yongjian Li, Jifeng He 0001	Towards a Theory of Bisimulation for a Fragment of Verilog.	IPDPS	2003	DBLP DOI BibTeX RDF
15	Prakash Ramanan	Covering Indexes for XML Queries: Bisimulation - Simulation = Negation. (PDF / PS)	VLDB	2003	DBLP DOI BibTeX RDF
15	Rik Eshuis, Maarten M. Fokkinga	Comparing Refinements for Failure and Bisimulation Semantics.	Fundam. Informaticae	2002	DBLP BibTeX RDF
15	Jan J. M. M. Rutten	Coinductive Counting: Bisimulation in Enumerative Combinatorics.	CMCS	2002	DBLP DOI BibTeX RDF
15	Jitka Stríbrná, Ivana Cerná	Modifications of Expansion Trees for Weak Bisimulation in BPA.	INFINITY	2002	DBLP DOI BibTeX RDF
15	Jan Rothe, Dragan Masulovic	Towards Weak Bisimulation For Coalgebras.	Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR	2002	DBLP DOI BibTeX RDF