Search results for "bisimulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Thuy Duong Vu	Deciding orthogonal bisimulation.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Orthogonal bisimulation equivalence, Branching bisimulation equivalence, Silent step, Labeled transition system, Concurrency theory
4	Giovanna D'Agostino	Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points.	TbiLLC	2005	DBLP DOI BibTeX RDF	Bisimulation Quantifiers, Bisimulation, Fixed Points, Mu-Calculus
4	Daniel Hirschkoff	Bisimulation verification using the up to techniques.	STTT	2001	DBLP DOI BibTeX RDF	Up to bisimulation, Verification, Bisimulation, Pi-calculus
4	Roberto Bruni, Ugo Montanari, Vladimiro Sassone	Open Ended Systems, Dynamic Bisimulation and Tile Logic.	IFIP TCS	2000	DBLP DOI BibTeX RDF	SOS formats, dynamic bisimulation, tile logic, Bisimulation
3	Xian Xu	On Bisimulation Theory in Linear Higher-Order pi-Calculus.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order
3	Davide Sangiorgi	On the origins of bisimulation and coinduction.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	greatest fixed points, Bisimulation, history, fixed points, coinduction
3	Ruggero Lanotte, Simone Tini	Probabilistic bisimulation as a congruence.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	probabilistic process algebra, transition rule format, Bisimulation, congruence
3	Sébastien Combéfis, Charles Pecheur	A bisimulation-based approach to the analysis of human-computer interaction.	EICS	2009	DBLP DOI BibTeX RDF	human-computer interaction (HCI) modelling, mode confusion, formal methods, bisimulation
3	Farn Wang	Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.	HSCC	2009	DBLP DOI BibTeX RDF	algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation
3	Julian Gutierrez	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
3	Milad Niqui	Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme.	TYPES	2008	DBLP DOI BibTeX RDF	Coiteration, Bisimulation, Coalgebra, Coq, Coinduction
3	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation for Parametric Polymorphism.	LICS	2008	DBLP DOI BibTeX RDF	LTS, bisimulation, parametric polymorphism, typed lambda calculus
3	Taolue Chen, Tingting Han, Joost-Pieter Katoen	Time-Abstracting Bisimulation for Probabilistic Timed Automata.	TASE	2008	DBLP DOI BibTeX RDF	time-abstracting bisimulation, probabilistic timed automata
3	Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer	A characterization of regular expressions under bisimulation.	J. ACM	2007	DBLP DOI BibTeX RDF	regular expressions, Bisimulation equivalence
3	Radha Jagadeesan, Corin Pitcher, James Riely	Open bisimulation for aspects.	AOSD	2007	DBLP DOI BibTeX RDF	open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence
3	Helle Hvid Hansen, Clemens Kupke, Eric Pacuit	Bisimulation for Neighbourhood Structures.	CALCO	2007	DBLP DOI BibTeX RDF	Neighbourhood semantics, non-normal modal logic, behavioural equivalence, invariance, bisimulation
3	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
3	Massimo Merro, Matthew Hennessy	A bisimulation-based semantic theory of Safe Ambients.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	distributed systems, Mobile agents, bisimulation
3	Gabor Karsai, Anantha Narayanan	Towards Verification of Model Transformations Via Goal-Directed Certification.	ASWSD	2006	DBLP DOI BibTeX RDF	Behavior Preservation, Weak Bisimulation, Semantic Anchoring, Bisimulation
3	Stefan Blom, Simona Orzan	A distributed algorithm for strong bisimulation reduction of state spaces.	STTT	2005	DBLP DOI BibTeX RDF	Strong bisimulation, Distributed tools, Multirelational coarsest partition problem, Model checking, State space reduction
3	Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu	Bisimulation for General Stochastic Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF	stochastic hybrid systems, simulation morphism, zigzag morphism, Markov processes, bisimulation, category theory
3	Ana Sokolova, Erik P. de Vink	Probabilistic Automata: System Types, Parallel Composition and Comparison.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition
3	Agostino Dovier, Carla Piazza	The Subgraph Bisimulation Problem.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	complexity, Bisimulation, semistructured data
3	Raffaella Gentilini, Carla Piazza, Alberto Policriti	From Bisimulation to Simulation: Coarsest Partition Problems.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	partition refinement problems, simulation, bisimulation
3	Richard Mayr	Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes.	ICALP	2003	DBLP DOI BibTeX RDF	1-counter nets, 1-counter machines, bisimulation
3	Mario Bravetti, Roberto Gorrieri	Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement
3	Agostino Dovier, Carla Piazza, Alberto Policriti	A Fast Bisimulation Algorithm.	CAV	2001	DBLP DOI BibTeX RDF	non well-founded sets, verification, automata, Bisimulation
3	Richard Mayr	On the Complexity of Bisimulation Problems for Pushdown Automata.	IFIP TCS	2000	DBLP DOI BibTeX RDF	verification, complexity, bisimulation, Pushdown automata
3	Alan Jeffrey, Julian Rathke	Towards a Theory of Bisimulation for Local Names.	LICS	1999	DBLP DOI BibTeX RDF	nominal calculi, semantics, bisimulation
3	Géraud Sénizergues	Decidability of Bisimulation Equivalence for Equational Graphs of Finite Out-Degree.	FOCS	1998	DBLP DOI BibTeX RDF	equational graphs, deterministic pushdown automata, rational languages, matrix semi-groups, complete formal systems, decidability, bisimulation
3	Erik P. de Vink, Jan J. M. M. Rutten	Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.	ICALP	1997	DBLP DOI BibTeX RDF	probabilistic transition system, ultrametric space, Borel measure, final coalgebra, Bisimulation, coalgebra
3	Rob J. van Glabbeek, W. P. Weijland	Branching Time and Abstraction in Bisimulation Semantics.	J. ACM	1996	DBLP DOI BibTeX RDF	process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time
3	Richard Mayr	Weak Bisimulation and Model Checking for Basic Parallel Processes.	FSTTCS	1996	DBLP DOI BibTeX RDF	Basic Parallel Processes, model checking, bisimulation
3	Bard Bloom, Sorin Istrail, Albert R. Meyer	Bisimulation Can't be Traced.	J. ACM	1995	DBLP DOI BibTeX RDF	process algebra, bisimulation, CCS, CCS, structural operational semantics
3	Rocco De Nicola, Frits W. Vaandrager	Three Logics for Branching Bisimulation.	J. ACM	1995	DBLP DOI BibTeX RDF	Hennessy-Milner logic, backward modalities, branching bisimulation equivalence, doubly labeled transition systems, stuttering equivalence, until operations, semantics, concurrency, reactive systems, labeled transition systems, Kripke structures, CTL*
3	Vincent van Oostrom, Erik P. de Vink	Transition System Specifications in Stalk Formal with Bisimulation as a Congruence.	STACS	1994	DBLP DOI BibTeX RDF	transition system specifications, Structured Operational Semantics, semantics of programming languages, bisimulation equivalence
3	Jan J. M. M. Rutten, Daniele Turi	On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.	REX Workshop	1992	DBLP DOI BibTeX RDF	final semantics, non-well-founded sets, non-standard set theory, (F-)bisimulation, ordered F-bisimulation, concurrency, partial orders, metric spaces, fixed point, category, coalgebra, functor, domain equation
2	Alwen Tiu, Jeremy E. Dawson	Automating Open Bisimulation Checking for the Spi Calculus.	CSF	2010	DBLP DOI BibTeX RDF	open bisimulation, symbolic trace analysis, intruder deduction, spi-calculus
2	Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor	Weak Equivalences in Psi-Calculi.	LICS	2010	DBLP DOI BibTeX RDF	pi-calculus extension, weak bisimulation, barbed bisimulation
2	Michele Boreale	Weighted Bisimulation in Linear Algebraic Form.	CONCUR	2009	DBLP DOI BibTeX RDF
2	Han Zhu, Yonggen Gu, Xiaojuan Cai	Knowledge Aware Bisimulation and Anonymity.	ICCS	2009	DBLP DOI BibTeX RDF	Applied Pi, Formal Methods, Network Security, Anonymity
2	Zining Cao	A True Concurrent Process Calculus and Its Conflict Bisimulation.	SNPD	2009	DBLP DOI BibTeX RDF	Bisimulation, Process Calculus, True Concurrency
2	Jeremy E. Dawson, Alwen Tiu	Formalising Observer Theory for Environment-Sensitive Bisimulation.	TPHOLs	2009	DBLP DOI BibTeX RDF
2	Gang Zheng, Antoine Girard	Bounded and Unbounded Safety Verification Using Bisimulation Metrics.	HSCC	2009	DBLP DOI BibTeX RDF
2	Yanfang Ma, Min Zhang, Yixiang Chen	Parameterized Bisimulation Infinite Evolution Mechanism.	TASE	2009	DBLP DOI BibTeX RDF
2	Weisong Li	Algorithms for Computing Weak Bisimulation Equivalence.	TASE	2009	DBLP DOI BibTeX RDF
2	Sam Staton	Relating Coalgebraic Notions of Bisimulation.	CALCO	2009	DBLP DOI BibTeX RDF
2	Konstantinos Chatzikokolakis, Gethin Norman, David Parker	Bisimulation for Demonic Schedulers.	FOSSACS	2009	DBLP DOI BibTeX RDF
2	Xian Xu	Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	encoding, bisimulation, full abstraction, process calculus, higher order
2	Prithviraj Sen, Amol Deshpande, Lise Getoor	PrDB: managing and exploiting rich correlations in probabilistic databases.	VLDB J.	2009	DBLP DOI BibTeX RDF	Lifted inference, Query processing, Graphical models, Bisimulation, Probabilistic databases, Uncertain databases
2	Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto	Network Applications of Graph Bisimulation.	ICGT	2008	DBLP DOI BibTeX RDF
2	James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh	Control software model checking using bisimulation functions for nonlinear systems.	CDC	2008	DBLP DOI BibTeX RDF
2	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
2	Maria Grazia Buscemi, Ugo Montanari	Open Bisimulation for the Concurrent Constraint Pi-Calculus.	ESOP	2008	DBLP DOI BibTeX RDF
2	Panagiotis Manolios, Sudarshan K. Srinivasan	Automatic verification of safety and liveness for pipelined machines using WEB refinement.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps
2	Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer	A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.	CLIMA	2008	DBLP DOI BibTeX RDF	user centric control, stochastic model checking, multi agent systems, symmetries, bisimulation, runtime analysis, cyber-physical systems
2	Farn Wang, Chih-Hong Cheng	Program Repair Suggestions from Graphical State-Transition Specifications.	FORTE	2008	DBLP DOI BibTeX RDF	state graph, state transition relation, evaluation, graph theory, cost, bisimulation, equivalence, repair
2	Hans P. van Ditmarsch, Tim French	Simulation and Information: Quantifying over Epistemic Events.	KRAMAS	2008	DBLP DOI BibTeX RDF	Bisimulation quantifier, temporal epistemic logic, multi-agent system, modal logic
2	Margarita V. Korovina, Nicolai Vorobjov	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
2	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
2	Martin R. Neuhäußer, Joost-Pieter Katoen	Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.	CONCUR	2007	DBLP DOI BibTeX RDF
2	David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez	New Bisimulation Semantics for Distributed Systems.	FORTE	2007	DBLP DOI BibTeX RDF
2	Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen	Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking.	TACAS	2007	DBLP DOI BibTeX RDF
2	Ralf Wimmer, Marc Herbstritt, Bernd Becker	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
2	Johanna Högberg, Andreas Maletti, Jonathan May	Bisimulation Minimisation for Weighted Tree Automata.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
2	Alwen Tiu	A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract.	APLAS	2007	DBLP DOI BibTeX RDF
2	Xinxin Liu	Expansive-Bisimulation for Context-Free Processes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Pieter J. L. Cuijpers	On Bicontinuous Bisimulation and the Preservation of Stability.	HSCC	2007	DBLP DOI BibTeX RDF
2	Barbara König	Deriving Bisimulation Congruences with Borrowed Contexts.	CALCO	2007	DBLP DOI BibTeX RDF
2	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation.	CSL	2007	DBLP DOI BibTeX RDF
2	Diptikalyan Saha	An Incremental Bisimulation Algorithm.	FSTTCS	2007	DBLP DOI BibTeX RDF
2	Stéphanie Delaune, Steve Kremer, Mark Ryan	Symbolic Bisimulation for the Applied Pi Calculus.	FSTTCS	2007	DBLP DOI BibTeX RDF
2	Adrian Francalanza, Matthew Hennessy	A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).	ESOP	2007	DBLP DOI BibTeX RDF
2	Mark Grechanik	Finding errors in components that exchange xml data.	ASE	2007	DBLP DOI BibTeX RDF	schema validator, interoperability, program analysis, bisimulation, XML schema, symbolic execution
2	Kristian Støvring, Søren B. Lassen	A complete, co-inductive syntactic theory of sequential control and state.	POPL	2007	DBLP DOI BibTeX RDF	mutable references, continuations, bisimulation
2	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer	A new foundation for control dependence and slicing for modern program structures.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence
2	Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li	An Operational Approach to BPEL-like Programming.	SEW	2007	DBLP DOI BibTeX RDF	Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
2	Sun Meng	QCCS: A Formal Model to Enforce QoS Requirements in Service Composition.	TASE	2007	DBLP DOI BibTeX RDF	Q-algebra, QCCS, Quantified Bisimulation, QCTL, Quality of Service
2	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
2	Takashi Kitamura, Huimin Lin	Controlling Process Modularity in Mobile Computing.	ICTAC	2007	DBLP DOI BibTeX RDF	process modularity, bisimulation-preorder, interaction-costs, Mobile computing
2	Xiaoju Dong, Yuxi Fu	Barbed Congruence of Asymmetry and Mismatch.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	bisimulation, axiomatization, process calculus
2	Jeremy Sproston, Susanna Donatelli	Backward Bisimulation in Markov Chain Model Checking.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	model checking, verification, temporal logic, Markov processes
2	Damien Pous	Weak Bisimulation Up to Elaboration.	CONCUR	2006	DBLP DOI BibTeX RDF
2	Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse	A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.	CONCUR	2006	DBLP DOI BibTeX RDF
2	Davide Sangiorgi	The Bisimulation Proof Method: Enhancements and Open Problems.	FMOODS	2006	DBLP DOI BibTeX RDF
2	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulation Congruences in the Calculus of Looping Sequences.	ICTAC	2006	DBLP DOI BibTeX RDF
2	Slawomir Lasota, Wojciech Rytter	Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes.	MFCS	2006	DBLP DOI BibTeX RDF
2	Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker	Sigref- A Symbolic Bisimulation Tool Box.	ATVA	2006	DBLP DOI BibTeX RDF
2	Zining Cao	A Spatial Logical Characterisation of Context Bisimulation.	ASIAN	2006	DBLP DOI BibTeX RDF
2	Farong Zhong, Yuxi Fu, Xiaoju Dong	Bisimulation Congruence for Asymmetric chi ^ e -Calculus.	ISPDC	2006	DBLP DOI BibTeX RDF
2	Søren B. Lassen	Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
2	Damien Pous	On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.	TGC	2006	DBLP DOI BibTeX RDF
2	Jirí Srba	Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation.	CSL	2006	DBLP DOI BibTeX RDF
2	Parosh Aziz Abdulla, Lisa Kaati, Johanna Högberg	Bisimulation Minimization of Tree Automata.	CIAA	2006	DBLP DOI BibTeX RDF
2	Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng	On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.	CIAA	2006	DBLP DOI BibTeX RDF
2	Gabriel Ciobanu, Dorel Lucanu	A specification language for coordinated objects.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	coordination, temporal logic, process algebra, objects, bisimulation, classes
2	Manuela L. Bujorianu, Marius C. Bujorianu	Model Checking for a Class of Performance Properties of Fluid Stochastic Models.	EPEW	2006	DBLP DOI BibTeX RDF	modelchecking, computer networks, Markov processes, performance measure, capacity, bisimulation, Fluid models
2	Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager	Model checker aided design of a controller for a wafer scanner.	STTT	2006	DBLP DOI BibTeX RDF	Resource allocation systems, Deadlock avoidance policy, Finite and timed automata, Stuttering bisimulation, Model checking, Throughput optimization
2	Pedro R. D'Argenio, Biniam Gebremichael	The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.	CONCUR	2005	DBLP DOI BibTeX RDF
2	Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski	Deriving Weak Bisimulation Congruences from Reduction Systems.	CONCUR	2005	DBLP DOI BibTeX RDF