Search results for "bisimulation"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Kunal Banerjee 0001, Dipankar Sarkar 0001, Chittaranjan Mandal 0001	Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers.	IEEE Trans. Software Eng.	2017	DBLP DOI BibTeX RDF
15	Borja Balle, Pascale Gourdeau, Prakash Panangaden	Bisimulation Metrics for Weighted Automata.	CoRR	2017	DBLP BibTeX RDF
15	Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin	Syntactic Markovian Bisimulation for Chemical Reaction Networks.	CoRR	2017	DBLP BibTeX RDF
15	James Ferlez, Rance Cleaveland, Steven I. Marcus	Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
15	Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu 0013	Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation.	CoRR	2017	DBLP BibTeX RDF
15	Ki Yung Ahn, Ross Horne, Alwen Tiu	A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic.	CoRR	2017	DBLP BibTeX RDF
15	Harsh Beohar, Sebastian Küpper	On path-based coalgebras and weak notions of bisimulation.	CoRR	2017	DBLP BibTeX RDF
15	Pengfei Yang, David N. Jansen, Lijun Zhang 0001	Distribution-based bisimulation for labelled Markov processes.	CoRR	2017	DBLP BibTeX RDF
15	Barbara König 0001, Christina Mika	Bisimulation Games on Coalgebras.	CoRR	2017	DBLP BibTeX RDF
15	Marco Peressotti	On the trade-off between labels and weights in quantitative bisimulation.	CoRR	2017	DBLP BibTeX RDF
15	Ivano Ciardelli, Martin Otto 0001	Bisimulation in Inquisitive Modal Logic.	TARK	2017	DBLP DOI BibTeX RDF
15	Marino Miculan, Marco Peressotti	Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation.	CoRR	2017	DBLP BibTeX RDF
15	Gaoang Bian, Alessandro Abate	On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version).	CoRR	2017	DBLP BibTeX RDF
15	Makoto Hamana	Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories.	CoRR	2017	DBLP BibTeX RDF
15	Makoto Hamana	Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	Kunal Banerjee 0001, Dipankar Sarkar 0001, Chittaranjan A. Mandal	Deriving bisimulation relations from path based equivalence checkers.	Formal Aspects Comput.	2017	DBLP DOI BibTeX RDF
15	Sergio Abriola, María Emilia Descotte, Santiago Figueira	Model theory of XPath on data trees. Part II: Binary bisimulation and definability.	Inf. Comput.	2017	DBLP DOI BibTeX RDF
15	Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen	Neighbourhood Contingency Bisimulation.	ICLA	2017	DBLP DOI BibTeX RDF
15	Xinxin Liu 0009, Tingting Yu, Wenhui Zhang	Analyzing divergence in bisimulation semantics.	POPL	2017	DBLP DOI BibTeX RDF
15	Muthukumaran Chandrasekaran, Junhuan Zhang, Prashant Doshi, Yifeng Zeng	Robust Model Equivalence using Stochastic Bisimulation for N-Agent Interactive DIDs.	UAI	2017	DBLP BibTeX RDF
15	Borja Balle, Pascale Gourdeau, Prakash Panangaden	Bisimulation Metrics for Weighted Automata.	ICALP	2017	DBLP DOI BibTeX RDF
15	Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin	Syntactic Markovian Bisimulation for Chemical Reaction Networks.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
15	Gaoang Bian, Alessandro Abate	On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.	FoSSaCS	2017	DBLP DOI BibTeX RDF
15	Kuize Zhang, Majid Zamani 0001	Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach.	CDC	2017	DBLP DOI BibTeX RDF
15	Marino Miculan, Marco Peressotti	Deciding Weak Weighted Bisimulation.	ICTCS/CILC	2017	DBLP BibTeX RDF
15	Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni	Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs.	SETTA	2017	DBLP DOI BibTeX RDF
15	Julian Gutierrez 0001, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge	Nash Equilibrium and Bisimulation Invariance.	CONCUR	2017	DBLP DOI BibTeX RDF
15	James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens	Multi-timed Bisimulation for Distributed Timed Automata.	NFM	2017	DBLP DOI BibTeX RDF
15	Harsh Beohar, Sebastian Küpper	On Path-Based Coalgebras and Weak Notions of Bisimulation.	CALCO	2017	DBLP DOI BibTeX RDF
15	Zeinab Bakhtiari, Helle Hvid Hansen	Bisimulation for Weakly Expressive Coalgebraic Modal Logics.	CALCO	2017	DBLP DOI BibTeX RDF
15	Pengfei Yang, David N. Jansen, Lijun Zhang 0001	Distribution-Based Bisimulation for Labelled Markov Processes.	FORMATS	2017	DBLP DOI BibTeX RDF
15	Daiki Ishii, Toshimitsu Ushio	A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises.	IEEE Trans. Hum. Mach. Syst.	2016	DBLP DOI BibTeX RDF
15	Ernst-Erich Doberkat	Bisimulation Cuts For Structuring Markov Transition Systems.	Fundam. Informaticae	2016	DBLP DOI BibTeX RDF
15	Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos	Reduction of event structures under history preserving bisimulation.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
15	Riadh Matmat, Ilham Kitouni, Djamel-Eddine Saïdouni	Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution.	Int. J. Distributed Syst. Technol.	2016	DBLP DOI BibTeX RDF
15	Bas Luttik	Unique parallel decomposition in branching and weak bisimulation semantics.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
15	Eric Madelaine, Min Zhang 0002	Towards a bisimulation theory for open synchronized networks of automata.	Sci. China Inf. Sci.	2016	DBLP DOI BibTeX RDF
15	Peter Buneman, Slawek Staworko	RDF Graph Alignment with Bisimulation.	CoRR	2016	DBLP BibTeX RDF
15	Jan Friso Groote, Anton Wijs	An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.	CoRR	2016	DBLP BibTeX RDF
15	Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan	Approximate Bisimulation and Discretization of Hybrid CSP.	CoRR	2016	DBLP BibTeX RDF
15	Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu 0013	Proving Linearizability via Branching Bisimulation.	CoRR	2016	DBLP BibTeX RDF
15	Daniel Gebler, Kim G. Larsen, Simone Tini	Compositional bisimulation metric reasoning with Probabilistic Process Calculi.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
15	Valentina Castiglioni, Daniel Gebler, Simone Tini	Logical Characterization of Bisimulation Metrics.	QAPL	2016	DBLP DOI BibTeX RDF
15	Peter Buneman, Slawek Staworko	RDF Graph Alignment with Bisimulation. (PDF / PS)	Proc. VLDB Endow.	2016	DBLP DOI BibTeX RDF
15	Hengyang Wu, Yuxin Deng	Logical characterizations of simulation and bisimulation for fuzzy transition systems.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
15	Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini	Deciding probabilistic automata weak bisimulation: theory and practice.	Formal Aspects Comput.	2016	DBLP DOI BibTeX RDF
15	Ievgen Ivanov	On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems.	CMCS	2016	DBLP DOI BibTeX RDF
15	Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini	Exploiting Robust Optimization for Interval Probabilistic Bisimulation.	QEST	2016	DBLP DOI BibTeX RDF
15	Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan	Approximate Bisimulation and Discretization of Hybrid CSP.	FM	2016	DBLP DOI BibTeX RDF
15	Nishanthan Kamaleson, David Parker 0001, Jonathan E. Rowe	Finite-Horizon Bisimulation Minimisation for Probabilistic Systems.	SPIN	2016	DBLP DOI BibTeX RDF
15	Noorma Yulia Megawati, Arjan van der Schaft	Equivalence of regular matrix pencil DAE systems by bisimulation.	ECC	2016	DBLP DOI BibTeX RDF
15	Taichi Yachi, Eijiro Sumii	A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc.	APLAS	2016	DBLP DOI BibTeX RDF
15	Vahid Hashemi, Holger Hermanns, Lei Song 0001, K. Subramani 0001, Andrea Turrini, Piotr Wojciechowski 0002	Compositional Bisimulation Minimization for Interval Markov Decision Processes.	LATA	2016	DBLP DOI BibTeX RDF
15	Giordano Pola, Costanzo Manes, Arjan van der Schaft, Maria Domenica Di Benedetto	Model reduction of continuous-time stochastic linear control systems via bisimulation equivalence.	CDC	2016	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	Computing Bisimulation-Based Comparisons.	CS&P	2016	DBLP BibTeX RDF
15	Petr Jancar	Deciding Semantic Finiteness of Pushdown Processes and First-Order Grammars w.r.t. Bisimulation Equivalence.	MFCS	2016	DBLP DOI BibTeX RDF
15	Matias David Lee, Erik P. de Vink	Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions.	MFCS	2016	DBLP DOI BibTeX RDF
15	Robert F. Johnson, Qing Dong, Erik Winfree	Verifying Chemical Reaction Network Implementations: A Bisimulation Approach.	DNA	2016	DBLP DOI BibTeX RDF
15	Marino Miculan, Marco Peressotti	On the Bisimulation Hierarchy of State-to-Function Transition Systems.	ICTCS	2016	DBLP BibTeX RDF
15	Mona Noori Hosseini, Bengt Lennartson	Diagnosability verification using compositional branching bisimulation.	WODES	2016	DBLP DOI BibTeX RDF
15	Andrew J. Wagenmaker, Necmiye Ozay	A bisimulation-like algorithm for abstracting control systems.	Allerton	2016	DBLP DOI BibTeX RDF
15	Tom van Dijk, Jaco van de Pol	Multi-core Symbolic Bisimulation Minimisation.	TACAS	2016	DBLP DOI BibTeX RDF
15	Jan Friso Groote, Anton Wijs	An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.	TACAS	2016	DBLP DOI BibTeX RDF
15	Xiaoju Dong, Yuxi Fu, Daniele Varacca	Place Bisimulation and Liveness for Open Petri Nets.	SETTA	2016	DBLP DOI BibTeX RDF
15	Johannes Åman Pohjola, Joachim Parrow	Bisimulation up-to techniques for psi-calculi.	CPP	2016	DBLP DOI BibTeX RDF
15	Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Valeria Vignudelli	Up-To Techniques for Generalized Bisimulation Metrics.	CONCUR	2016	DBLP DOI BibTeX RDF
15	David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse	Branching Bisimulation Games.	FORTE	2016	DBLP DOI BibTeX RDF
15	Moses Ganardi, Stefan Göller, Markus Lohrey	On the Parallel Complexity of Bisimulation on Finite Systems.	CSL	2016	DBLP DOI BibTeX RDF
15	Shahan Khatchadourian	Bisimulation-based Structural Summaries of Large Graphs.		2016	RDF
15	Prakash Panangaden	Probabilistic bisimulation.	ACM SIGLOG News	2015	DBLP DOI BibTeX RDF
15	Harsh Beohar, Pieter J. L. Cuijpers	Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders.	MFPS	2015	DBLP DOI BibTeX RDF
15	Wayne Wobcke	A logic of intention and action for regular BDI agents based on bisimulation of agent programs.	Auton. Agents Multi Agent Syst.	2015	DBLP DOI BibTeX RDF
15	Xiaocong Zhou, Yong-Ji Li, Wen-Jun Li, Hai-Yan Qiao, Zhongmei Shu	Bisimulation proof methods in a path-based specification language for polynomial coalgebras.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Mustafa Jarrar, Anton Deik	The Graph Signature: A Scalable Query Optimization Index for RDF Graph Databases Using Bisimulation and Trace Equivalence Summarization.	Int. J. Semantic Web Inf. Syst.	2015	DBLP DOI BibTeX RDF
15	Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang	Bisimulation-based concept learning for information systems in description logics.	Vietnam. J. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Giovanna D'Agostino, Giacomo Lenzi	Bisimulation quantifiers and uniform interpolation for guarded first order logic.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu	Model-order reduction of ion channel dynamics using approximate bisimulation.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Nisansala Yatapanage, Kirsten Winter	Next-preserving branching bisimulation.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Diego Figueira, Santiago Figueira, Carlos Areces	Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization.	J. Artif. Intell. Res.	2015	DBLP DOI BibTeX RDF
15	Diego Latella, Mieke Massink, Erik P. de Vink	Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen	Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief.	CoRR	2015	DBLP BibTeX RDF
15	Matias David Lee, Erik P. de Vink	Rooted branching bisimulation as a congruence for probabilistic transition systems.	QAPL	2015	DBLP DOI BibTeX RDF
15	Makoto Hamana	Iteration Algebras for UnQL Graphs and Completeness for Bisimulation.	FICS	2015	DBLP DOI BibTeX RDF
15	Diego Latella, Mieke Massink, Erik P. de Vink	A Definition Scheme for Quantitative Bisimulation.	QAPL	2015	DBLP DOI BibTeX RDF
15	Ugo Dal Lago, Alessandro Rioli	Applicative Bisimulation and Quantum λ-Calculi (Long Version).	CoRR	2015	DBLP BibTeX RDF
15	Tessa Belder, Maurice H. ter Beek, Erik P. de Vink	Coherent branching feature bisimulation.	FMSPLE	2015	DBLP DOI BibTeX RDF
15	David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica	Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story.	PROLE	2015	DBLP DOI BibTeX RDF
15	Xiangru Xu, Necmiye Ozay, Vijay Gupta 0001	Passivity Degradation In Discrete Control Implementations: An Approximate Bisimulation Approach.	CoRR	2015	DBLP BibTeX RDF
15	Tomasz Brengos	Weak bisimulation for coalgebras over order enriched monads.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Sebastian Enqvist, Fatemeh Seifan, Yde Venema	Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.	CoRR	2015	DBLP BibTeX RDF
15	Mariano P. Consens, Valeria Fionda, Shahan Khatchadourian, Giuseppe Pirrò	S+EPPs: Construct and Explore Bisimulation Summaries, plus Optimize Navigational Queries; all on Existing SPARQL Systems. (PDF / PS)	Proc. VLDB Endow.	2015	DBLP DOI BibTeX RDF
15	Tuan-Fang Fan	Fuzzy Bisimulation for Gödel Modal Logic.	IEEE Trans. Fuzzy Syst.	2015	DBLP DOI BibTeX RDF
15	Facundo Carreiro	PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic.	LICS	2015	DBLP DOI BibTeX RDF
15	Sebastian Enqvist, Fatemeh Seifan, Yde Venema	Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.	LICS	2015	DBLP DOI BibTeX RDF
15	Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song 0001, Lijun Zhang 0001	Probabilistic Bisimulation for Realistic Schedulers.	FM	2015	DBLP DOI BibTeX RDF
15	Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu	Computing bisimulation functions using SOS optimization and δ-decidability over the reals.	HSCC	2015	DBLP DOI BibTeX RDF
15	Peter D. Mosses, Ferdinand Vesely	Weak Bisimulation as a Congruence in MSOS.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
15	Babak Tavassoli	A computational procedure for bisimulation of hybrid dynamical systems.	ECC	2015	DBLP DOI BibTeX RDF
15	Guilhem Jaber, Nicolas Tabareau	Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques.	APLAS	2015	DBLP DOI BibTeX RDF
15	Xiangru Xu, Necmiye Ozay, Vijay Gupta 0001	Passivity degradation in discrete control implementations: An approximate bisimulation approach.	CDC	2015	DBLP DOI BibTeX RDF