Search results for "bisimulations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
136	David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.	FORTE	2008	DBLP DOI BibTeX RDF
87	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulations in calculi modelling membranes.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations
84	Ferroudja Cherief	Back and Forth Bisimulations On Prime Event Structures.	PARLE	1992	DBLP DOI BibTeX RDF	Semantics of parallelism, back and forth bisimulations, refinement of actions, Concurrency, bisimulations, Event structures
75	Margarita V. Korovina, Nicolai N. Vorobjov Jr.	Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems.	CiE	2006	DBLP DOI BibTeX RDF
61	Peng Wu 0002, Catuscia Palamidessi, Huimin Lin	Symbolic Bisimulations for Probabilistic Systems.	QEST	2007	DBLP DOI BibTeX RDF
61	Vasileios Koutavas, Mitchell Wand	Bisimulations for Untyped Imperative Objects.	ESOP	2006	DBLP DOI BibTeX RDF
61	Johannes Borgström, Uwe Nestmann	On Bisimulations for the Spi Calculus.	AMAST	2002	DBLP DOI BibTeX RDF
54	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
54	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
47	Elena S. Oshevskaya	Open Maps Bisimulations for Higher Dimensional Automata Models.	FCT	2009	DBLP DOI BibTeX RDF
47	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
47	Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001	Calculating Invariants as Coreflexive Bisimulations.	AMAST	2008	DBLP DOI BibTeX RDF	coalgebraic reasoning, pointfree transform, proof obligations, program calculation
47	Ernst-Erich Doberkat	Weak Bisimulations for the Giry Monad (Extended Abstract).	TAMC	2008	DBLP DOI BibTeX RDF
47	Zining Cao	Bisimulations for a Distributed Higher Order pi -Calculus.	ICTAC	2007	DBLP DOI BibTeX RDF
47	Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii	Environmental Bisimulations for Higher-Order Languages.	LICS	2007	DBLP DOI BibTeX RDF
47	Zining Cao	More on Bisimulations for Higher Order pi-Calculus.	FoSSaCS	2006	DBLP DOI BibTeX RDF
47	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Bisimulations Up-to for the Linear Time Branching Time Spectrum.	CONCUR	2005	DBLP DOI BibTeX RDF
47	Gerardo Lafferriere, George J. Pappas, Shankar Sastry 0001	Hybrid Systems with Finite Bisimulations.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
47	Cyril Autant, Philippe Schnoebelen	Place Bisimulations in Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	partial order theory of concurrency, structure and behavior of nets, bisimulation theory of nets
45	Vasileios Koutavas, Mitchell Wand	Small bisimulations for reasoning about higher-order imperative programs.	POPL	2006	DBLP DOI BibTeX RDF	higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence
42	Gabriel Ciobanu	Behaviour Equivalences in Timed Distributed pi-Calculus.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
42	Zining Cao	A Logic for Distributed Higher Order pi-Calculus.	TAMC	2008	DBLP DOI BibTeX RDF
42	Ralf Wimmer 0001, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker 0001	Sigref- A Symbolic Bisimulation Tool Box.	ATVA	2006	DBLP DOI BibTeX RDF
42	S. Arun-Kumar	On Bisimilarities Induced by Relations on Actions.	SEFM	2006	DBLP DOI BibTeX RDF
42	Dennis Dams, Yassine Lakhnech, Martin Steffen	Iterating Transducers.	CAV	2001	DBLP DOI BibTeX RDF
42	Sibylle B. Fröschle, Thomas T. Hildebrandt	On Plain and Hereditary History-Preserving Bisimulation.	MFCS	1999	DBLP DOI BibTeX RDF
42	Ichiro Satoh, Mario Tokoro	A Timed Calculus for Distributed Objects with Clocks.	ECOOP	1993	DBLP DOI BibTeX RDF
40	Géraud Sénizergues	Semi-Groups Acting on Context-Free Graphs.	ICALP	1996	DBLP DOI BibTeX RDF	infinite graphs, ends, semi-groups, groups, bisimulations, pushdown automata, automorphisms
38	David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.	CoRR	2024	DBLP DOI BibTeX RDF
38	Sergueï Lenglet	Bisimulations dans les calculs avec passivation. (Bisimulations in calculi with passivation).		2010	RDF
38	Damien Pous	Techniques modulo pour les bisimulations. (Up to techniques for bisimulations).		2008	RDF
38	Wilfried Quivrin-Pfister	Des bisimulations de places pour la réduction des réseaux de Petri. (Place bisimulations for the reduction of Petri nets).		1995	RDF
38	Sophie Pinchinat	Des bisimulations pour la sémantique des systèmes réactifs. (Bisimulations for the semantics of reactive systems).		1993	RDF
33	Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani	Normal Bisimulations in Calculi with Passivation.	FoSSaCS	2009	DBLP DOI BibTeX RDF
33	Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii	Logical Bisimulations and Functional Languages.	FSEN	2007	DBLP DOI BibTeX RDF
33	Ernst-Erich Doberkat	Congruences and Bisimulations for Continuous-Time Stochastic Logic.	ICTAC	2005	DBLP DOI BibTeX RDF
33	Astrid Kiehn, S. Arun-Kumar	Amortised Bisimulations.	FORTE	2005	DBLP DOI BibTeX RDF
33	Jens Chr. Godskesen, Thomas T. Hildebrandt	Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.	FSTTCS	2005	DBLP DOI BibTeX RDF
33	Ernst-Erich Doberkat	Semi-pullbacks and Bisimulations in Categories of Stochastic Relations.	ICALP	2003	DBLP DOI BibTeX RDF	semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic, Bisimulation
33	Christel Baier, Mariëlle Stoelinga	Norm Functions for Probabilistic Bisimulations with Delays.	FoSSaCS	2000	DBLP DOI BibTeX RDF
33	Louise A. Dennis, Alan Bundy, Ian Green	Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs.	CADE	1997	DBLP DOI BibTeX RDF
28	Zining Cao	A Spatial Logical Characterisation of Context Bisimulation.	ASIAN	2006	DBLP DOI BibTeX RDF
28	Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke	Proof Methodologies for Behavioural Equivalence in DPI.	FORTE	2005	DBLP DOI BibTeX RDF
28	Ernst-Erich Doberkat	Look: Simple Stochastic Relations Are Just, Well, Simple.	CALCO	2005	DBLP DOI BibTeX RDF
28	Paulo Tabuada	Open Maps, Alternating Simulations and Control Synthesis.	CONCUR	2004	DBLP DOI BibTeX RDF
28	Margarita V. Korovina, Nicolai N. Vorobjov Jr.	Pfaffian Hybrid Systems.	CSL	2004	DBLP DOI BibTeX RDF
28	Thomas A. Henzinger, Sriram K. Rajamani	Fair Bisimulation.	TACAS	2000	DBLP DOI BibTeX RDF
28	Thomas Hune, Mogens Nielsen	Timed Bisimulation and Open Maps.	MFCS	1998	DBLP DOI BibTeX RDF
28	Christel Baier, Holger Hermanns	Weak Bisimulation for Fully Probabilistic Processes.	CAV	1997	DBLP DOI BibTeX RDF
28	Mogens Nielsen, Allan Cheng	Obseving Behaviour Categorically.	FSTTCS	1995	DBLP DOI BibTeX RDF
26	Elsa L. Gunter, Ayesha Yasmeen	Secure Broadcast Ambients.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF	Ambient calculi, security, broadcast, bisimulations, process calculi, congruence
26	Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti	Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Semantic unification, Hypersets, NP-completeness, Bisimulations, Set theory
19	Linh Anh Nguyen, Dat Xuan Tran	Computing crisp bisimulations for fuzzy structures.	Int. J. Approx. Reason.	2024	DBLP DOI BibTeX RDF
19	Sha Qiao, Jun-e Feng, Ping Zhu 0001	Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems.	J. Frankl. Inst.	2024	DBLP DOI BibTeX RDF
19	Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg	Bisimulations and Logics for Higher-Dimensional Automata.	CoRR	2024	DBLP DOI BibTeX RDF
19	Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski	Forward and Backward Constrained Bisimulations for Quantum Circuits.	TACAS (2)	2024	DBLP DOI BibTeX RDF
19	Linh Anh Nguyen	Fuzzy simulations and bisimulations between fuzzy automata.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
19	Sebastijan Horvat, Tin Perkov, Mladen Vukovic	Bisimulations and bisimulation games between Verbrugge models.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
19	Beniamino Accattoli, Claudia Faggian, Adrienne Lancelot	Normal Form Bisimulations By Value.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jérémy Dubut	Aczel-Mendler Bisimulations in a Regular Category.	CoRR	2023	DBLP DOI BibTeX RDF
19	Linh Anh Nguyen	Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations.	CoRR	2023	DBLP DOI BibTeX RDF
19	Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic	Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata.	CoRR	2023	DBLP DOI BibTeX RDF
19	Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino	Sound approximate and asymptotic probabilistic bisimulations for PCTL.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic	Depth-bounded fuzzy simulations and bisimulations between fuzzy automata.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
19	Sha Qiao, Ping Zhu 0001, Witold Pedrycz	Approximate bisimulations for fuzzy-transition systems.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
19	Linh Anh Nguyen, Ngoc Thanh Nguyen 0001	Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics.	IEEE Trans. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
19	Sha Qiao, Ping Zhu 0001, Jun-e Feng	Fuzzy Bisimulations for Nondeterministic Fuzzy Transition Systems.	IEEE Trans. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
19	Tin Perkov	Bisimulations Between Verbrugge Models and Veltman Models.	WoLLIC	2023	DBLP DOI BibTeX RDF
19	Yucheng Liu	ε-Approximate Bisimulations for Nondeterministic Fuzzy Kripke Structures.	NCTCS	2023	DBLP DOI BibTeX RDF
19	Stefan Stanimirovic, Ivana Micic, Linh Anh Nguyen	On Relationships Between Approximate Bisimulations for Fuzzy Graphs and Their Approximation Degrees.	EUSFLAT/AGOP	2023	DBLP DOI BibTeX RDF
19	Ivana Micic, Jelena Matejic, Stefan Stanimirovic, Linh Anh Nguyen	Towards New Types of Weak Bisimulations for Fuzzy Automata Using the Product T-Norm.	EUSFLAT/AGOP	2023	DBLP DOI BibTeX RDF
19	Jérémy Dubut	Aczel-Mendler Bisimulations in a Regular Category.	CALCO	2023	DBLP DOI BibTeX RDF
19	Jannik Rau, David Richerby, Ansgar Scherp	Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis.	ICGT	2023	DBLP DOI BibTeX RDF
19	Linh Anh Nguyen	Fuzzy Simulations and Bisimulations between Fuzzy Automata.	CoRR	2022	DBLP DOI BibTeX RDF
19	Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik	Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol.	CoRR	2022	DBLP DOI BibTeX RDF
19	Clément Aubert, Ross Horne, Christian Johansen	Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
19	Jannik Rau, David Richerby, Ansgar Scherp	Single-Purpose Algorithms vs. a Generic Graph Summarizer for Computing k-Bisimulations on Large Graphs.	CoRR	2022	DBLP DOI BibTeX RDF
19	Linh Anh Nguyen	Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
19	Ivana Micic, Linh Anh Nguyen, Stefan Stanimirovic	Characterization and computation of approximate bisimulations for fuzzy automata.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
19	Rui Li 0007, Qi Zhang 0005, Tianguang Chu	Bisimulations of Probabilistic Boolean Networks.	SIAM J. Control. Optim.	2022	DBLP DOI BibTeX RDF
19	Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang 0001	Bisimulations for Knowing How Logics.	Rev. Symb. Log.	2022	DBLP DOI BibTeX RDF
19	Li Zhang, Ping Zhu 0001	Generalized fuzzy variable precision rough sets based on bisimulations and the corresponding decision-making.	Int. J. Mach. Learn. Cybern.	2022	DBLP DOI BibTeX RDF
19	Stefan Stanimirovic, Ivana Micic, Miroslav Ciric 0001	Approximate Bisimulations for Fuzzy Automata Over Complete Heyting Algebras.	IEEE Trans. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
19	Pavithra Prabhakar	Bisimulations for Neural Network Reduction.	VMCAI	2022	DBLP DOI BibTeX RDF
19	Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque	Bisimulations for Intuitionistic Temporal Logics.	FLAP	2021	DBLP BibTeX RDF
19	Sha Qiao, Ping Zhu 0001	Limited approximate bisimulations and the corresponding rough approximations.	Int. J. Approx. Reason.	2021	DBLP DOI BibTeX RDF
19	Frédéric Lang, Radu Mateescu 0001, Franco Mazzanti	Compositional verification of concurrent systems by combining bisimulations.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
19	Malgorzata Kruszelnicka	Games and Bisimulations for Intuitionistic First-Order Kripke Models.	Stud Logica	2021	DBLP DOI BibTeX RDF
19	Linh Anh Nguyen	Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices.	CoRR	2021	DBLP BibTeX RDF
19	Pavithra Prabhakar	Bisimulations for Neural Network Reduction.	CoRR	2021	DBLP BibTeX RDF
19	Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.	CoRR	2021	DBLP BibTeX RDF
19	Linh Anh Nguyen, Dat Xuan Tran	Computing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics.	IEEE Trans. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
19	David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo	Fibrational bisimulations and quantitative reasoning: Extended version.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
19	Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik	Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
19	Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.	LICS	2021	DBLP DOI BibTeX RDF
19	Linh Anh Nguyen, Dat Xuan Tran	Computing Crisp Bisimulations for Fuzzy Structures.	CoRR	2020	DBLP BibTeX RDF
19	Jim de Groot, Helle Hvid Hansen, Alexander Kurz 0001	Logic-Induced Bisimulations.	CoRR	2020	DBLP BibTeX RDF
19	Chao Yang, Yongming Li 0001	Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
19	Roberto Gorrieri	A Study on Team Bisimulations for BPP Nets.	Petri Nets	2020	DBLP DOI BibTeX RDF
19	Jim de Groot, Helle Hvid Hansen, Alexander Kurz 0001	Logic-Induced Bisimulations.	AiML	2020	DBLP BibTeX RDF