Search results for "bisimulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Søren B. Lassen	Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context.	MFPS	1999	DBLP DOI BibTeX RDF
30	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
30	Zining Cao	A True Concurrent Process Calculus and Its Conflict Bisimulation.	SNPD	2009	DBLP DOI BibTeX RDF	Bisimulation, Process Calculus, True Concurrency
30	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
30	Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop	Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.	J. ACM	1993	DBLP DOI BibTeX RDF	bisimulation semantics, simple context-free languages, process algebra, context-free grammars
30	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
30	Kim Guldstrand Larsen	Compositional Theories Based on an Operational Semantics of Contexts.	REX Workshop	1989	DBLP DOI BibTeX RDF	Classification of Compositionality, Contexts as Transducers, Relative Bisimulation, Recursive Modal Logic, Weakest Property Transformer, Process Algebra, Bisimulation, Reactive Systems, Environments, Compositionality
24	Luca de Alfaro, Marco Faella, Mariëlle Stoelinga	Linear and Branching System Metrics.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
24	Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin	Approximating Markov Processes by Averaging.	ICALP (2)	2009	DBLP DOI BibTeX RDF
24	Richard Molyneux, Vladimir Sazonov	Hyperset Approach to Semi-structured Databases.	BNCOD	2009	DBLP DOI BibTeX RDF
24	Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin	Approximating Labelled Markov Processes Again!	CALCO	2009	DBLP DOI BibTeX RDF
24	Gabriel Ciobanu	Behaviour Equivalences in Timed Distributed pi-Calculus.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
24	Yuichi Tazaki, Jun-ichi Imura	Bisimilar Finite Abstractions of Interconnected Systems.	HSCC	2008	DBLP DOI BibTeX RDF
24	Rui Qiao 0003, Yuan Wang, Xinyan Gao, Jinzhao Wu	Operational semantics of probabilistic Kleene algebra with tests.	ISCC	2008	DBLP DOI BibTeX RDF
24	Joëlle Cohen, Anatol Slissenko	Stability of Real-Time Abstract State Machines under Desynchronization.	ABZ	2008	DBLP DOI BibTeX RDF
24	Xinxin Liu, Haiyan Chen	Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau.	ICTAC	2007	DBLP DOI BibTeX RDF
24	Zining Cao	Bisimulations for a Distributed Higher Order pi -Calculus.	ICTAC	2007	DBLP DOI BibTeX RDF
24	Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay	Qualitative Logics and Equivalences for Probabilistic Systems.	QEST	2007	DBLP DOI BibTeX RDF
24	Jennifer M. Davoren	Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.	LFCS	2007	DBLP DOI BibTeX RDF
24	Tim French 0002	Idempotent Transductions for Modal Logics.	FroCoS	2007	DBLP DOI BibTeX RDF
24	A. Agung Julius	Approximate Abstraction of Stochastic Hybrid Automata.	HSCC	2006	DBLP DOI BibTeX RDF
24	Christel Baier, Verena Wolf	Stochastic Reasoning About Channel-Based Component Connectors.	COORDINATION	2006	DBLP DOI BibTeX RDF
24	Gabriel Ciobanu, Viorel Mihai Gontineac	Algebraic and Coalgebraic Aspects of Membrane Computing.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
24	Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden	Approximate Reasoning for Real-Time Probabilistic Processes.	QEST	2004	DBLP DOI BibTeX RDF
24	Luca de Alfaro, Marco Faella, Mariëlle Stoelinga	Linear and Branching Metrics for Quantitative Transition Systems.	ICALP	2004	DBLP DOI BibTeX RDF
24	Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro	Comparing Recursion, Replication, and Iteration in Process Calculi.	ICALP	2004	DBLP DOI BibTeX RDF
24	Jifeng He 0001	Linking Theories of Concurrency.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
24	Dale Miller 0001	Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract.	CSL	2004	DBLP DOI BibTeX RDF
24	Marco Bernardo 0001, Mario Bravetti	Reward Based Congruences: Can We Aggregate More?	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
24	Irina B. Virbitskaite	Characterizing Timed Net Processes Categorically.	PaCT	2001	DBLP DOI BibTeX RDF
24	Huimin Lin, Wang Yi 0001	A Proof System for Timed Automata.	FoSSaCS	2000	DBLP DOI BibTeX RDF
24	Christel Baier, Mariëlle Stoelinga	Norm Functions for Probabilistic Bisimulations with Delays.	FoSSaCS	2000	DBLP DOI BibTeX RDF
24	Cédric Fournet, Georges Gonthier	A Hierarchy of Equivalences for Asynchronous Calculi.	ICALP	1998	DBLP DOI BibTeX RDF
24	Julian Rathke	Resource Based Models for Asynchrony.	FoSSaCS	1998	DBLP DOI BibTeX RDF
24	Glynn Winskel	A Presheaf Semantics of Value-Passing Processes.	CONCUR	1996	DBLP DOI BibTeX RDF
24	Gian Luca Cattani, Glynn Winskel	Presheaf Models for Concurrency.	CSL	1996	DBLP DOI BibTeX RDF
24	Matthew Hennessy, Julian Rathke	Bisimulations for a Calculus of Broadcasting Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
24	Mogens Nielsen, Allan Cheng	Obseving Behaviour Categorically.	FSTTCS	1995	DBLP DOI BibTeX RDF
24	Michele Boreale, Rocco De Nicola	A Symbolic Semantics for the pi-calculus (Extended Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
24	Ursula Goltz, Ruurd Kuiper 0001, Wojciech Penczek	Propositional Temporal Logics and Equivalences.	CONCUR	1992	DBLP DOI BibTeX RDF
24	Luca Aceto	On Relating Concurency and Nondeterminism.	MFPS	1991	DBLP DOI BibTeX RDF
24	Cyril Autant, Z. Belmesk, Philippe Schnoebelen	Strong Bisimilarity on Nets Revisited.	PARLE (2)	1991	DBLP DOI BibTeX RDF
24	Robin Milner, Joachim Parrow, David Walker 0001	Modal Logics for Mobile Processes.	CONCUR	1991	DBLP DOI BibTeX RDF
24	Philippe Schnoebelen, Sophie Pinchinat	On the Weak Adequacy of Branching-Time Remporal Logic.	ESOP	1990	DBLP DOI BibTeX RDF
24	Chi-Chang Jou, Scott A. Smolka	Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes.	CONCUR	1990	DBLP DOI BibTeX RDF
23	Gang Zheng, Antoine Girard	Bounded and Unbounded Safety Verification Using Bisimulation Metrics.	HSCC	2009	DBLP DOI BibTeX RDF
23	Han Zhu, Yonggen Gu, Xiaojuan Cai	Knowledge Aware Bisimulation and Anonymity.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Applied Pi, Formal Methods, Network Security, Anonymity
23	Weisong Li	Algorithms for Computing Weak Bisimulation Equivalence.	TASE	2009	DBLP DOI BibTeX RDF
23	Maria Grazia Buscemi, Ugo Montanari	Open Bisimulation for the Concurrent Constraint Pi-Calculus.	ESOP	2008	DBLP DOI BibTeX RDF
23	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
23	Johanna Högberg, Andreas Maletti, Jonathan May	Bisimulation Minimisation for Weighted Tree Automata.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
23	Stéphanie Delaune, Steve Kremer, Mark Ryan 0001	Symbolic Bisimulation for the Applied Pi Calculus.	FSTTCS	2007	DBLP DOI BibTeX RDF
23	Farong Zhong, Yuxi Fu, Xiaoju Dong	Bisimulation Congruence for Asymmetric chi ^ e -Calculus.	ISPDC	2006	DBLP DOI BibTeX RDF
23	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulation Congruences in the Calculus of Looping Sequences.	ICTAC	2006	DBLP DOI BibTeX RDF
23	Ralf Wimmer 0001, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker 0001	Sigref- A Symbolic Bisimulation Tool Box.	ATVA	2006	DBLP DOI BibTeX RDF
23	Slawomir Lasota 0001, Wojciech Rytter	Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes.	MFCS	2006	DBLP DOI BibTeX RDF
23	Parosh Aziz Abdulla, Lisa Kaati, Johanna Högberg	Bisimulation Minimization of Tree Automata.	CIAA	2006	DBLP DOI BibTeX RDF
23	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
23	Jirí Srba	Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation.	CSL	2006	DBLP DOI BibTeX RDF
23	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
23	Stefan Strubbe, A. J. van der Schaft	Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs).	HSCC	2005	DBLP DOI BibTeX RDF
23	Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind	Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.	FMCO	2005	DBLP DOI BibTeX RDF
23	Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski 0001	Deriving Weak Bisimulation Congruences from Reduction Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
23	Jan A. Bergstra, Cornelis A. Middelburg	Strong Splitting Bisimulation Equivalence.	CALCO	2005	DBLP DOI BibTeX RDF
23	Davide Sangiorgi	Bisimulation: From The Origins to Today.	LICS	2004	DBLP DOI BibTeX RDF
23	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for dynamic sealing.	POPL	2004	DBLP DOI BibTeX RDF
23	Gerald Lüttgen, Walter Vogler	Bisimulation on Speed: Lower Time Bounds.	FoSSaCS	2004	DBLP DOI BibTeX RDF
23	Hartmut Ehrig, Barbara König 0001	Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.	FoSSaCS	2004	DBLP DOI BibTeX RDF
23	Massimo Merro, Francesco Zappa Nardelli	Bisimulation Proof Methods for Mobile Ambients.	ICALP	2003	DBLP DOI BibTeX RDF
23	Vladimiro Sassone, Pawel Sobocinski 0001	Deriving Bisimulation Congruences: 2-Categories Vs Precategories.	FoSSaCS	2003	DBLP DOI BibTeX RDF
23	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina	Weak Bisimulation for Probabilistic Timed Automata and Applications to Security.	SEFM	2003	DBLP DOI BibTeX RDF
23	Michael Backes 0001, Christian Jacobi 0002, Birgit Pfitzmann	Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.	FME	2002	DBLP DOI BibTeX RDF	security, cryptography, formal verification, PVS, simulatability
23	Tak-John Koo, Shankar Sastry 0001	Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems.	HSCC	2002	DBLP DOI BibTeX RDF
23	Philippe Schnoebelen, Natalia Sidorova	Bisimulation and the Reduction of Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
23	Petr Jancar, Antonín Kucera 0001, Faron Moller	Simulation and Bisimulation over One-Counter Processes.	STACS	2000	DBLP DOI BibTeX RDF
23	Irek Ulidowski, Shoji Yuen	Process Languages for Rooted Eager Bisimulation.	CONCUR	2000	DBLP DOI BibTeX RDF
23	Ugo Montanari, Marco Pistore	Minimal Transition Systems for History-Preserving Bisimulation.	STACS	1997	DBLP DOI BibTeX RDF
23	Stavros Tripakis, Sergio Yovine	Analysis of Timed Systems Based on Time-Abstracting Bisimulation.	CAV	1996	DBLP DOI BibTeX RDF
23	Christel Baier	Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation.	CAV	1996	DBLP DOI BibTeX RDF
23	Parosh Aziz Abdulla, Mats Kindahl	Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).	CONCUR	1995	DBLP DOI BibTeX RDF
23	David Walker 0008	On Bisimulation in the pi-calculus.	CONCUR	1994	DBLP DOI BibTeX RDF
23	Amar Bouali, Robert de Simone	Symbolic Bisimulation Minimisation.	CAV	1992	DBLP DOI BibTeX RDF
23	Søren Christensen, Hans Hüttel, Colin Stirling	Bisimulation Equivalence is Decidable for all Context-Free Processes.	CONCUR	1992	DBLP DOI BibTeX RDF
23	Tim Fernando	A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation.	CSL	1991	DBLP DOI BibTeX RDF
23	Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop	Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.	PARLE (2)	1987	DBLP DOI BibTeX RDF
23	Xian Xu 0001	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
23	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
23	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
23	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
23	Hans P. van Ditmarsch, Tim French 0002	Simulation and Information: Quantifying over Epistemic Events.	KRAMAS	2008	DBLP DOI BibTeX RDF	Bisimulation quantifier, temporal epistemic logic, multi-agent system, modal logic
23	Xiaoju Dong, Yuxi Fu	Barbed Congruence of Asymmetry and Mismatch.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	bisimulation, axiomatization, process calculus
23	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, 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
23	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
23	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS (1)	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
23	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
23	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
23	Gabriel Ciobanu, Dorel Lucanu	A specification language for coordinated objects.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	coordination, temporal logic, process algebra, objects, bisimulation, classes
23	Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager	Model checker aided design of a controller for a wafer scanner.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Resource allocation systems, Deadlock avoidance policy, Finite and timed automata, Stuttering bisimulation, Model checking, Throughput optimization
23	Jan Komenda, Jan H. van Schuppen	Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	bisimulation, supervisory control, coalgebra, coinduction, partial observations
23	Stefan Blom, Simona Orzan	Distributed state space minimization.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Distributed verification, Bisimulation equivalence