Search results for "bisimulations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Ali Rezaei Divroodi, Linh Anh Nguyen	On Bisimulations for Description Logics	CoRR	2011	DBLP BibTeX RDF
19	Miroslav Ciric 0001, Jelena Ignjatovic, Milan Basic, Ivana Jancic	Nondeterministic automata: equivalence, bisimulations, and uniform relations	CoRR	2011	DBLP BibTeX RDF
19	Miroslav Ciric 0001, Jelena Ignjatovic, Nada Damljanovic, Milan Basic	Bisimulations for fuzzy automata	CoRR	2011	DBLP BibTeX RDF
19	Iain Phillips 0001, Irek Ulidowski	A Logic with Reverse Modalities for History-preserving Bisimulations	EXPRESS	2011	DBLP DOI BibTeX RDF
19	Miroslav Ciric 0001, Jelena Ignjatovic, Ivana Jancic, Nada Damljanovic	Algorithms for computing the greatest simulations and bisimulations between fuzzy automata	CoRR	2011	DBLP BibTeX RDF
19	Yongzhi Cao, Guoqing Chen, Etienne E. Kerre	Bisimulations for Fuzzy-Transition Systems.	IEEE Trans. Fuzzy Syst.	2011	DBLP DOI BibTeX RDF
19	Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii	Environmental bisimulations for higher-order languages.	ACM Trans. Program. Lang. Syst.	2011	DBLP DOI BibTeX RDF
19	Roland Glück	Using Bisimulations for Optimality Problems in Model Refinement.	RAMiCS	2011	DBLP DOI BibTeX RDF
19	Adrien Piérard, Eijiro Sumii	Sound Bisimulations for Higher-Order Distributed Process Calculus.	FoSSaCS	2011	DBLP DOI BibTeX RDF
19	Sanam Mirzazad-Barijough, Ji-Woong Lee	Finite-state simulations and bisimulations for discrete-time piecewise affine systems.	CDC/ECC	2011	DBLP DOI BibTeX RDF
19	Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino	Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.	FSEN	2011	DBLP DOI BibTeX RDF
19	Lei Song 0001, Lijun Zhang 0001, Jens Chr. Godskesen	Bisimulations Meet PCTL Equivalences for Probabilistic Automata.	CONCUR	2011	DBLP DOI BibTeX RDF
19	Venanzio Capretta	Bisimulations Generated from Corecursive Equations.	MFPS	2010	DBLP DOI BibTeX RDF
19	Ernst-Erich Doberkat	Weak bisimulations for the Giry monad.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
19	Rocco De Nicola, Daniele Gorla, Anna Labella	Tree-functors, determinacy and bisimulations.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
19	Simone Tini	Non-expansive epsilon-bisimulations for probabilistic processes.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
19	Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick	Bisimulations for Nondeterministic Labeled Markov Processes	CoRR	2010	DBLP BibTeX RDF
19	Yongzhi Cao, Guoqing Chen, Etienne E. Kerre	Bisimulations for fuzzy transition systems	CoRR	2010	DBLP BibTeX RDF
19	Adrien Piérard, Eijiro Sumii	Sound Bisimulations for Higher-Order Distributed Process Calculus	CoRR	2010	DBLP BibTeX RDF
19	Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema	Vietoris Bisimulations.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
19	Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada	Symbolic models for nonlinear time-delay systems using approximate bisimulations.	Syst. Control. Lett.	2010	DBLP DOI BibTeX RDF
19	Domagoj Vrgoc, Mladen Vukovic	Bisimulations and bisimulation quotients of generalized Veltman models.	Log. J. IGPL	2010	DBLP DOI BibTeX RDF
19	Alessandro Abate	Probabilistic bisimulations of switching and resetting diffusions.	CDC	2010	DBLP DOI BibTeX RDF
19	Zining Cao	Bisimulations for Open Processes in Higher Order p-Calculus.	TASE	2010	DBLP DOI BibTeX RDF
19	Iain C. C. Phillips, Irek Ulidowski	Reverse Bisimulations on Stable Configuration Structures	SOS	2009	DBLP DOI BibTeX RDF
19	Jennifer M. Davoren	On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
19	Giordano Pola, Paulo Tabuada	Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations.	SIAM J. Control. Optim.	2009	DBLP DOI BibTeX RDF
19	Roland Glück, Bernhard Möller, Michel Sintzoff	A Semiring Approach to Equivalences, Bisimulations and Control.	RelMiCS	2009	DBLP DOI BibTeX RDF
19	Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes	Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization.	QEST	2009	DBLP DOI BibTeX RDF	logical characterization, measurable, bisimulation, nondeterminism
19	Harsh Vinjamoor, Arjan van der Schaft	On achievable bisimulations for linear time-invariant systems.	ECC	2009	DBLP DOI BibTeX RDF
19	Andrew G. Lamperski	Representations and algorithms for finite-state bisimulations of linear discrete-time control systems.	CDC	2009	DBLP DOI BibTeX RDF
19	Alessandro Abate	A contractivity approach for probabilistic bisimulations of diffusion processes.	CDC	2009	DBLP DOI BibTeX RDF
19	Hua Jiang, Xinxing Tan	Bisimulations in the Boxed Safe Ambients with Password.	ITNG	2009	DBLP DOI BibTeX RDF	mobile ambient calculus, p-calculus, model checking, computational model, process calculus
19	Michael Winter 0001	A Relation-Algebraic Theory of Bisimulations.	Fundam. Informaticae	2008	DBLP BibTeX RDF
19	Taolue Chen, Jian Lu	Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration.	FICS	2008	DBLP DOI BibTeX RDF
19	Mladen Vukovic	Bisimulations between generalized Veltman models and Veltman models.	Math. Log. Q.	2008	DBLP DOI BibTeX RDF
19	Davide Grohmann, Marino Miculan	Deriving Barbed Bisimulations for Bigraphical Reactive Systems.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2008	DBLP DOI BibTeX RDF
19	Simone Tini	Non Expansive epsilon-Bisimulations.	AMAST	2008	DBLP DOI BibTeX RDF
19	Isabella Mastroeni	Deriving Bisimulations by Simplifying Partitions.	VMCAI	2008	DBLP DOI BibTeX RDF
19	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations.	PROLE	2007	DBLP DOI BibTeX RDF
19	Thomas Brihaye	Words and Bisimulations of Dynamical Systems.	Discret. Math. Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
19	Yuan Feng 0001, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying	Probabilistic bisimulations for quantum processes.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
19	Jennifer M. Davoren, Paulo Tabuada	On Simulations and Bisimulations of General Flow Systems.	HSCC	2007	DBLP DOI BibTeX RDF
19	Augusto Parma, Roberto Segala	Logical Characterizations of Bisimulations for Discrete Probabilistic Systems.	FoSSaCS	2007	DBLP DOI BibTeX RDF
19	Jennifer M. Davoren	Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.	LFCS	2007	DBLP DOI BibTeX RDF
19	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Process Equivalences as Global Bisimulations.	J. Univers. Comput. Sci.	2006	DBLP DOI BibTeX RDF
19	Vincent Schmitt, Krzysztof Worytkiewicz	Bisimulations of enrichments	CoRR	2006	DBLP BibTeX RDF
19	Jan A. Bergstra, Cornelis A. Middelburg	Splitting bisimulations and retrospective conditions.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
19	Margarita V. Korovina, Nicolai N. Vorobjov Jr.	Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
19	Johannes Borgström, Uwe Nestmann	On bisimulations for the spi calculus.	Math. Struct. Comput. Sci.	2005	DBLP DOI BibTeX RDF
19	Ernst-Erich Doberkat	Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem.	SIAM J. Comput.	2005	DBLP DOI BibTeX RDF
19	Rob J. van Glabbeek	On Cool Congruence Formats for Weak Bisimulations.	ICTAC	2005	DBLP DOI BibTeX RDF
19	Antoine Girard, George J. Pappas	Approximate Bisimulations for Nonlinear Dynamical Systems.	CDC/ECC	2005	DBLP DOI BibTeX RDF
19	Antoine Girard, George J. Pappas	Approximate Bisimulations for Constrained Linear Systems.	CDC/ECC	2005	DBLP DOI BibTeX RDF
19	Carla Piazza, Alberto Policriti	Ackermann Encoding, Bisimulations, and OBDDs.	Theory Pract. Log. Program.	2004	DBLP DOI BibTeX RDF
19	Brian Ross	Computing symbolic bisimulations for multiway synchronising processes.		2004	RDF
19	Ling Cheung, Jesse Hughes	Concise Graphs and Functional Bisimulations.	CMCIM/GETCO@CONCUR	2003	DBLP DOI BibTeX RDF
19	Carla Piazza, Alberto Policriti	Ackermann Encoding, Bisimulations, and OBDDs	CoRR	2003	DBLP BibTeX RDF
19	Paulo Tabuada, George J. Pappas	Finite bisimulations of controllable linear systems.	CDC	2003	DBLP DOI BibTeX RDF
19	Vitus S. W. Lam, Julian A. Padget	Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations.	HCC	2003	DBLP DOI BibTeX RDF
19	Hendrik Tews	Greatest Bisimulations for Binary Methods.	CMCS	2002	DBLP DOI BibTeX RDF
19	Irek Ulidowski, Iain C. C. Phillips	Ordered SOS Process Languages for Branching and Eager Bisimulations.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
19	Mireille E. Broucke, Maria D. DiBenedetto, Stefano Di Gennaro	Effective synthesis of optimal controllers using bisimulations.	CDC	2002	DBLP DOI BibTeX RDF
19	Melvin Fitting	Bisimulations and Boolean Vectors.	Advances in Modal Logic	2002	DBLP BibTeX RDF
19	Stavros Tripakis, Sergio Yovine	Analysis of Timed Systems Using Time-Abstracting Bisimulations.	Formal Methods Syst. Des.	2001	DBLP DOI BibTeX RDF
19	Cédric Fournet, Cosimo Laneve	Bisimulations in the join-calculus.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
19	Hendrik Tews	Coalgebras for Binary Methods: Properties of Bisimulations and Invariants.	RAIRO Theor. Informatics Appl.	2001	DBLP DOI BibTeX RDF
19	Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli	Optimal Control Using Bisimulations: Implementation.	HSCC	2001	DBLP DOI BibTeX RDF
19	Huimin Lin	Computing Bisimulations for Finite-Control pi-Calculus.	J. Comput. Sci. Technol.	2000	DBLP DOI BibTeX RDF
19	Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro	Theory of Optimal Control Using Bisimulations.	HSCC	2000	DBLP DOI BibTeX RDF
19	Christine Röckl	Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL.	FBT	2000	DBLP BibTeX RDF
19	Jennifer M. Davoren	Topologies, continuity and bisimulations.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
19	Cristian Calude, Elena Calude	Bisimulations and behaviour of nondeterministic automata.	Developments in Language Theory	1999	DBLP DOI BibTeX RDF
19	Christine Röckl, Javier Esparza	Proof-Checking Protocols Using Bisimulations.	CONCUR	1999	DBLP DOI BibTeX RDF
19	Yuxi Fu	Open Bisimulations on Chi Processes.	CONCUR	1999	DBLP DOI BibTeX RDF
19	Rocco De Nicola, Anna Labella	Tree Morphisms and Bisimulations.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
19	Irina B. Virbitskaite	On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
19	Jan J. M. M. Rutten	Relators and Metric Bisimulations.	CMCS	1998	DBLP DOI BibTeX RDF
19	Matthew Hennessy, Julian Rathke	Bisimulations for a Calculus of Broadcasting Systems.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
19	Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi	On Bisimulations for the Asynchronous pi-Calculus.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
19	Gerardo Lafferriere, George J. Pappas, Shankar Sastry 0001	Subanalytic Stratifications and Bisimulations.	HSCC	1998	DBLP DOI BibTeX RDF
19	Michele Boreale, Cédric Fournet, Cosimo Laneve	Bisimulations in the join-calculus.	PROCOMET	1998	DBLP BibTeX RDF
19	Natasha Kurtonina, Maarten de Rijke	Bisimulations for Temporal Logic.	J. Log. Lang. Inf.	1997	DBLP DOI BibTeX RDF
19	Bart Jacobs 0001	Invariants, Bisimulations and the Correctness of Coalgebraic Refinements.	AMAST	1997	DBLP DOI BibTeX RDF
19	Yoram Hirshfeld	Bisimulation trees and the decidability of weak bisimulations.	INFINITY	1996	DBLP DOI BibTeX RDF
19	Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi	On Bisimulations for the Asynchronous pi-Calculus.	CONCUR	1996	DBLP DOI BibTeX RDF
19	Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández-Iglesias	Direct Verification of Bisimulations.	FORTE	1996	DBLP BibTeX RDF
19	Bard Bloom	Structural Operational Semantics for Weak Bisimulations.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
19	Matthew Hennessy, Huimin Lin	Symbolic Bisimulations.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
19	Matthew Hennessy, Julian Rathke	Bisimulations for a Calculus of Broadcasting Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
19	Tim Fernando	Bisimulations and Predicate Logic.	J. Symb. Log.	1994	DBLP DOI BibTeX RDF
19	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Universal Axioms for Bisimulations.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
19	Matthew Hennessy	Symbolic Bisimulations (Abstract).	MFCS	1993	DBLP DOI BibTeX RDF
19	Juan Vicente Echagüe Zappettini	Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones. (Semantics of reactive systems : refinement, bisimulation and structured operational semantics on asynchronous transition systems).		1993	RDF
19	Miranda Mowbray	Finitary Logics for Some CCS Observational Bisimulations.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
19	Ferroudja Cherief	Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme.		1992	RDF
19	Ferroudja Cherief, Philippe Schnoebelen	τ-Bisimulations and Full Abstraction for Refinement of Actions.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
19	Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello	Concurrent Bisimulations in Petri Nets.	Acta Informatica	1991	DBLP DOI BibTeX RDF
19	Roberto Gorrieri, Cosimo Laneve	The Limit of Split_n-Bisimulations for CCS Agents.	MFCS	1991	DBLP DOI BibTeX RDF
19	Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager	Back and Forth Bisimulations.	CONCUR	1990	DBLP DOI BibTeX RDF