Search results for "bisimulations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Jean-Claude Fernandez, Laurent Mounier	Verifying Bisimulations "On the Fly".	FORTE	1990	DBLP BibTeX RDF
19	Ilaria Castellani, Matthew Hennessy	Distributed bisimulations.	J. ACM	1989	DBLP DOI BibTeX RDF
19	D. J. Walker	Bisimulations and Divergence	LICS	1988	DBLP DOI BibTeX RDF
19	Ilaria Castellani	Bisimulations and Abstraction Homomorphisms.	J. Comput. Syst. Sci.	1987	DBLP DOI BibTeX RDF
19	Ilaria Castellani	Bisimulations and Abstraction Homomorphisms.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
14	Melvin Fitting	How True It Is = Who Says It's True.	Stud Logica	2009	DBLP DOI BibTeX RDF	modal logic, bisimulation, many-valued logic, boolean algebra, tableau, logic of knowledge
14	Jie Zhou, Yixiang Chen	Modeling Instability in a New Framework of Interval Valued Process Algebra.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
14	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
14	Michele Boreale	Weighted Bisimulation in Linear Algebraic Form.	CONCUR	2009	DBLP DOI BibTeX RDF
14	Yanfang Ma, Min Zhang 0007, Yixiang Chen	Parameterized Bisimulation Infinite Evolution Mechanism.	TASE	2009	DBLP DOI BibTeX RDF
14	Filippo Bonchi, Ugo Montanari	Symbolic Semantics Revisited.	FoSSaCS	2008	DBLP DOI BibTeX RDF
14	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
14	Petr Jancar	Selected Ideas Used for Decidability and Undecidability of Bisimilarity.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF	decidability, bisimulation equivalence
14	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Universal Coinductive Characterisations of Process Semantics.	IFIP TCS	2008	DBLP DOI BibTeX RDF
14	Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig	Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.	ICTAC	2007	DBLP DOI BibTeX RDF
14	Martin Berger 0001, Nobuko Yoshida	Timed, Distributed, Probabilistic, Typed Processes.	APLAS	2007	DBLP DOI BibTeX RDF
14	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
14	Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001	Optimization techniques for BDD-based bisimulation computation.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	binary decision diagrams, bisimulation, state space reduction, state space explosion, symbolic methods
14	Kai Engelhardt, Peter Gammie, Ron van der Meyden	Model Checking Knowledge and Linear Time: PSPACE Cases.	LFCS	2007	DBLP DOI BibTeX RDF
14	Johan Glimming	Parametric (Co)Iteration vs. Primitive Direcursion.	CALCO	2007	DBLP DOI BibTeX RDF
14	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulation Congruences in the Calculus of Looping Sequences.	ICTAC	2006	DBLP DOI BibTeX RDF
14	Antoine Girard, George J. Pappas	Verification Using Simulation.	HSCC	2006	DBLP DOI BibTeX RDF
14	Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz	A Computerized Referee.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
14	Lars Birkedal, Søren Debois, Thomas T. Hildebrandt	Sortings for Reactive Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
14	Alexander Kurz 0001, Jirí Rosický	Weak Factorizations, Fractions and Homotopies.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	weak factorization system, category of fractions, homotopy, bisimilarity
14	Natalia López, Manuel Núñez 0001	Weak Stochastic Bisimulation for Non-markovian Processes.	ICTAC	2005	DBLP DOI BibTeX RDF
14	Ranald Clouston, Robert Goldblatt	Covarieties of Coalgebras: Comonads and Coequations.	ICTAC	2005	DBLP DOI BibTeX RDF
14	Tim French 0002	Bisimulation Quantified Logics: Undecidability.	FSTTCS	2005	DBLP DOI BibTeX RDF
14	Michael Baldamus, Joachim Parrow, Björn Victor	Spi Calculus Translated to ?--Calculus Preserving May-Tests.	LICS	2004	DBLP DOI BibTeX RDF
14	Thomas Brihaye, Véronique Bruyère, Jean-François Raskin	Model-Checking for Weighted Timed Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
14	Tim French 0002	Decidability of Propositionally Quantified Logics of Knowledge.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
14	David Sands 0001	Probability and Timing: Challenges for Secure Programming.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
14	Ernst-Erich Doberkat	The Demonic Product of Probabilistic Relations.	FoSSaCS	2002	DBLP DOI BibTeX RDF	Probabilistic relations, demonic product, concurrency, bisimulation
14	Philipp Rohde	Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
14	Kousha Etessami, Thomas Wilke, Rebecca A. Schuller	Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata.	ICALP	2001	DBLP DOI BibTeX RDF
14	Marco Aiello 0001	Topo-distance: Measuring the Difference between Spatial Patterns.	JELIA	2000	DBLP DOI BibTeX RDF	RCC, model comparison games, qualitative spatial reasoning, mereotopology
14	Panagiotis Manolios	Correctness of Pipelined Machines.	FMCAD	2000	DBLP DOI BibTeX RDF
14	Bart Jacobs 0001	Exercises in Coalgebraic Specification.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
14	Mireille E. Broucke	A Geometric Approach to Bisimulation and Verification of Hybrid Systems.	HSCC	1999	DBLP DOI BibTeX RDF
14	Christopher Lee Miller	Geometric Categories, O-Minimal Structures and Control (Abstract).	HSCC	1999	DBLP DOI BibTeX RDF
14	Jitka Stríbrná	Approximating Weak Bisimulation on Basic Process Algebras.	MFCS	1999	DBLP DOI BibTeX RDF
14	Wiebe van der Hoek, Jan Jaspars, Elias Thijsse	Persistence and Minimality in Epistemic Logic.	JELIA	1998	DBLP DOI BibTeX RDF
14	Gian Luca Cattani, John Power, Glynn Winskel	A Categorical Axiomatics for Bisimulation.	CONCUR	1998	DBLP DOI BibTeX RDF
14	Slawomir Lasota 0001	Weak Bisimilarity and Open Maps.	SOFSEM	1998	DBLP DOI BibTeX RDF
14	Irek Ulidowski, Iain C. C. Phillips	Formats of Ordered SOS Rules with Silent Actions.	TAPSOFT	1997	DBLP DOI BibTeX RDF
14	Kedar S. Namjoshi	A Simple Characterization of Stuttering Bisimulation.	FSTTCS	1997	DBLP DOI BibTeX RDF
14	Huimin Lin	Symbolic Transition Graph with Assignment.	CONCUR	1996	DBLP DOI BibTeX RDF
14	Thomas A. Henzinger	Hybrid Automata with Finite Bisimulatioins.	ICALP	1995	DBLP DOI BibTeX RDF
14	Lawrence C. Paulson	A Fixedpoint Approach to Implementing (Co)Inductive Definitions.	CADE	1994	DBLP DOI BibTeX RDF
14	Petr Jancar	Decidability Questions for Bismilarity of Petri Nets and Some Related Problems.	STACS	1994	DBLP DOI BibTeX RDF
14	Joachim Parrow, Peter Sjödin	The Complete Axiomatization of Cs-congruence.	STACS	1994	DBLP DOI BibTeX RDF
14	Mogens Nielsen, Christian Clausen	Bisimulation for Models in Concurrency.	CONCUR	1994	DBLP DOI BibTeX RDF
14	Nils Klarlund	The Limit View of Infinite Computations.	CONCUR	1994	DBLP DOI BibTeX RDF
14	Ricardo Pena, Luis M. Alonso	A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions.	TAPSOFT	1993	DBLP DOI BibTeX RDF
14	Jan J. M. M. Rutten, Daniele Turi	Initial Algebra and Final Coalgebra Semantics for Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality
14	Jan J. M. M. Rutten	A Strucutral Co-Induction Theorem.	MFPS	1993	DBLP DOI BibTeX RDF
14	Luis M. Alonso	Using State Variables for the Specification and Verfication of TCSP Processes.	PARLE	1993	DBLP DOI BibTeX RDF
14	Pierpaolo Degano, Corrado Priami	Proved Trees.	ICALP	1992	DBLP DOI BibTeX RDF
14	Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn	A Theory of Process with Localities (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
14	Ugo Montanari, Vladimiro Sassone	CCS Dynamic Bisimulation is Progressing.	MFCS	1991	DBLP DOI BibTeX RDF
14	Pierpaolo Degano, Roberto Gorrieri	Atomic Refinement in Process Description Languages.	MFCS	1991	DBLP DOI BibTeX RDF
14	Cyril Autant, Z. Belmesk, Philippe Schnoebelen	Strong Bisimilarity on Nets Revisited.	PARLE (2)	1991	DBLP DOI BibTeX RDF
14	Bengt Jonsson 0001, Joachim Parrow	Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs.	STACS	1989	DBLP DOI BibTeX RDF