Search results for "bisimulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden	Bisimulation for Labelled Markov Processes.	LICS	1997	DBLP DOI BibTeX RDF
39	Michael Baldamus, Jürgen Dingel	Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).	TAPSOFT	1997	DBLP DOI BibTeX RDF
39	Petr Jancar, Javier Esparza	Deciding Finiteness of Petri Nets Up To Bisimulation.	ICALP	1996	DBLP DOI BibTeX RDF
39	Huimin Lin	Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus.	TAPSOFT	1995	DBLP DOI BibTeX RDF
39	Rob J. van Glabbeek	A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours.	MFCS	1993	DBLP DOI BibTeX RDF
39	Davide Sangiorgi	A Theory of Bisimulation for the pi-Calculus.	CONCUR	1993	DBLP DOI BibTeX RDF
39	Didier Caucal	Branching Bisimulation for Context-free Processes.	FSTTCS	1992	DBLP DOI BibTeX RDF
39	Henri Korver	Computing Distinguishing Formulas for Branching Bisimulation.	CAV	1991	DBLP DOI BibTeX RDF
39	Rance Cleaveland, Matthew Hennessy	Testing Equivalence as a Bisimulation Equivalence.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
39	Bard Bloom, Sorin Istrail, Albert R. Meyer	Bisimulation Can't Be Traced. (long version: JACM 42(1): 232-268 (1995))	POPL	1988	DBLP DOI BibTeX RDF
39	Marius C. Bujorianu, Manuela-Luminita 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
39	Huibiao Zhu, Jifeng He 0001, Geguang Pu, Jing Li 0062	An Operational Approach to BPEL-like Programming.	SEW	2007	DBLP DOI BibTeX RDF	Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
39	Manuela-Luminita 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
39	Alan Schmitt, Jean-Bernard Stefani	The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.	Global Computing	2004	DBLP DOI BibTeX RDF	higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages
39	Ernst-Erich Doberkat	The Converse of a Stochastic Relation.	FoSSaCS	2003	DBLP DOI BibTeX RDF	Stochastic relations, relational calculi, concurrency, converse, bisimulation, nondeterminism
39	Mingsheng Ying, Martin Wirsing	Approximate Bisimilarity.	AMAST	2000	DBLP DOI BibTeX RDF	Real Time ACP, Process Algebra, Bisimulation
39	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	State Space Reduction Based on Live Variables Analysis.	SAS	1999	DBLP DOI BibTeX RDF	live variables analysis, model checking, bisimulation, asynchronous communication, state space reduction
38	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
38	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
38	Milad Niqui	Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme.	TYPES	2008	DBLP DOI BibTeX RDF	Coiteration, Bisimulation, Coalgebra, Coq, Coinduction
38	Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen	Time-Abstracting Bisimulation for Probabilistic Timed Automata.	TASE	2008	DBLP DOI BibTeX RDF	time-abstracting bisimulation, probabilistic timed automata
38	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
38	Richard Mayr	Weak Bisimulation and Model Checking for Basic Parallel Processes.	FSTTCS	1996	DBLP DOI BibTeX RDF	Basic Parallel Processes, model checking, bisimulation
38	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*
38	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
38	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
33	Josée Desharnais, François Laviolette, Mathieu Tracol	Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games.	QEST	2008	DBLP DOI BibTeX RDF
33	Simone Tini	Non Expansive epsilon-Bisimulations.	AMAST	2008	DBLP DOI BibTeX RDF
33	Haiyan Chen	More on Weak Bisimilarity of Normed Basic Parallel Processes.	TAMC	2008	DBLP DOI BibTeX RDF
33	Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii	Environmental Bisimulations for Higher-Order Languages.	LICS	2007	DBLP DOI BibTeX RDF
33	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
33	Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir	On the Axiomatizability of Priority.	ICALP (2)	2006	DBLP DOI BibTeX RDF
33	Zining Cao	More on Bisimulations for Higher Order pi-Calculus.	FoSSaCS	2006	DBLP DOI BibTeX RDF
33	Anuj Dawar, Martin Otto 0001	Modal Characterisation Theorems over Special Classes of Frames.	LICS	2005	DBLP DOI BibTeX RDF
33	Huimin Lin, Wang Yi 0001	Axiomatising timed automata.	Acta Informatica	2002	DBLP DOI BibTeX RDF
33	Suzana Andova, Jos C. M. Baeten	Abstraction in Probabilistic Process Algebra.	TACAS	2001	DBLP DOI BibTeX RDF
33	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the \pi-Calculus.	Acta Informatica	1998	DBLP DOI BibTeX RDF
33	Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia	A Pi-Calculus with Explicit Substitutions: the Late Semantics.	MFCS	1994	DBLP DOI BibTeX RDF
33	Rob J. van Glabbeek, Frits W. Vaandrager	Petri Net Models for Algebraic Theories of Concurrency.	PARLE (2)	1987	DBLP DOI BibTeX RDF
31	Sam Staton	Relating Coalgebraic Notions of Bisimulation.	CALCO	2009	DBLP DOI BibTeX RDF
31	Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto	Network Applications of Graph Bisimulation.	ICGT	2008	DBLP DOI BibTeX RDF
31	Adrian Francalanza, Matthew Hennessy	A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).	ESOP	2007	DBLP DOI BibTeX RDF
31	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
31	Martin R. Neuhäußer, Joost-Pieter Katoen	Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.	CONCUR	2007	DBLP DOI BibTeX RDF
31	Barbara König 0001	Deriving Bisimulation Congruences with Borrowed Contexts.	CALCO	2007	DBLP DOI BibTeX RDF
31	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
31	Damien Pous	On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.	TGC	2006	DBLP DOI BibTeX RDF
31	Søren B. Lassen	Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
31	Damien Pous	Weak Bisimulation Up to Elaboration.	CONCUR	2006	DBLP DOI BibTeX RDF
31	Natalia López, Manuel Núñez 0001	Weak Stochastic Bisimulation for Non-markovian Processes.	ICTAC	2005	DBLP DOI BibTeX RDF
31	Damien Pous	Up-to Techniques for Weak Bisimulation.	ICALP	2005	DBLP DOI BibTeX RDF
31	Rob J. van Glabbeek	A Characterisation of Weak Bisimulation Congruence.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
31	Gerald Lüttgen, Walter Vogler	Bisimulation on Speed: A Unified Approach.	FoSSaCS	2005	DBLP DOI BibTeX RDF
31	Davide Sangiorgi	Beyond Bisimulation: The "up-to" Techniques.	FMCO	2005	DBLP DOI BibTeX RDF
31	Pedro R. D'Argenio, Biniam Gebremichael	The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.	CONCUR	2005	DBLP DOI BibTeX RDF
31	Jeremy Sproston, Susanna Donatelli	Backward Stochastic Bisimulation in CSL Model Checking.	QEST	2004	DBLP DOI BibTeX RDF
31	Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague	Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols.	FoSSaCS	2004	DBLP DOI BibTeX RDF
31	Lucian Wischik, Philippa Gardner	Strong Bisimulation for the Explicit Fusion Calculus.	FoSSaCS	2004	DBLP DOI BibTeX RDF
31	Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni	Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.	CMSB	2003	DBLP DOI BibTeX RDF
31	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi	Bisimulation and Unwinding for Verifying Possibilistic Security Properties.	VMCAI	2003	DBLP DOI BibTeX RDF
31	Josée Desharnais, Radha Jagadeesan, Vineet Gupta 0001, Prakash Panangaden	The Metric Analogue of Weak Bisimulation for Probabilistic Processes.	LICS	2002	DBLP DOI BibTeX RDF
31	Massimo Merro, Matthew Hennessy	Bisimulation congruences in safe ambients.	POPL	2002	DBLP DOI BibTeX RDF
31	Antonín Kucera 0001, Richard Mayr	Why Is Simulation Harder than Bisimulation?	CONCUR	2002	DBLP DOI BibTeX RDF
31	Madhavan Mukund	Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems.	FSTTCS	2002	DBLP DOI BibTeX RDF
31	Emanuele Bandini, Roberto Segala	Axiomatizations for Probabilistic Bisimulation.	ICALP	2001	DBLP DOI BibTeX RDF
31	Manuele Bicego, Agostino Dovier, Vittorio Murino	Designing the Minimal Structure of Hidden Markov Model by Bisimulation.	EMMCVPR	2001	DBLP DOI BibTeX RDF
31	Marsha Chechik, Hai Wang	Bisimulation analysis of SDL-expressed protocols: a case study.	CASCON	2000	DBLP BibTeX RDF	SDL
31	Mireille E. Broucke	A Geometric Approach to Bisimulation and Verification of Hybrid Systems.	HSCC	1999	DBLP DOI BibTeX RDF
31	Jitka Stríbrná	Approximating Weak Bisimulation on Basic Process Algebras.	MFCS	1999	DBLP DOI BibTeX RDF
31	Yuxi Fu	Bisimulation Lattice of Chi Processes.	ASIAN	1998	DBLP DOI BibTeX RDF
31	Peter Sewell	From Rewrite to Bisimulation Congruences.	CONCUR	1998	DBLP DOI BibTeX RDF
31	Petr Jancar	Bisimulation Equivalence is Decidable for One-Counter Processes.	ICALP	1997	DBLP DOI BibTeX RDF
31	William Ferreira 0001, Matthew Hennessy, Alan Jeffrey	A Theory of Weak Bisimulation for Core CML.	ICFP	1996	DBLP DOI BibTeX RDF
31	Olaf Burkart, Didier Caucal, Bernhard Steffen	Bisimulation Collapse and the Process Taxonomy.	CONCUR	1996	DBLP DOI BibTeX RDF
31	Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao	Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.	ISAAC	1995	DBLP DOI BibTeX RDF
31	Olaf Burkart, Didier Caucal, Bernhard Steffen	An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes.	MFCS	1995	DBLP DOI BibTeX RDF
31	Paola Inverardi, Corrado Priami, Daniel Yankelevich	Extended Transition Systems for Parametric Bisimulation.	ICALP	1993	DBLP DOI BibTeX RDF
31	Søren Christensen, Yoram Hirshfeld, Faron Moller	Bisimulation Equivalence is Decidable for Basic Parallel Processes.	CONCUR	1993	DBLP DOI BibTeX RDF
31	Karlis Cerans	Decidability of Bisimulation Equivalences for Parallel Timer Processes.	CAV	1992	DBLP DOI BibTeX RDF
31	Davide Sangiorgi, Robin Milner	The Problem of "Weak Bisimulation up to".	CONCUR	1992	DBLP DOI BibTeX RDF
31	Ugo Montanari, Vladimiro Sassone	CCS Dynamic Bisimulation is Progressing.	MFCS	1991	DBLP DOI BibTeX RDF
31	Walter Vogler	Bisimulation and Action Refinement.	STACS	1991	DBLP DOI BibTeX RDF
31	Rance Cleaveland	On Automatically Explaining Bisimulation Inequivalence.	CAV	1990	DBLP DOI BibTeX RDF
31	Jan Friso Groote, Frits W. Vaandrager	An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence.	ICALP	1990	DBLP DOI BibTeX RDF
31	Bard Bloom, Albert R. Meyer	A Remark on Bisimulation Between Probabilistic Processes.	Logic at Botik	1989	DBLP DOI BibTeX RDF
31	Jan Friso Groote, Frits W. Vaandrager	Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract).	ICALP	1989	DBLP DOI BibTeX RDF
31	Han Zuidweg	Verification by Abstraction and Bisimulation.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
31	Jan A. Bergstra, Jan Willem Klop	Process theory based on bisimulation semantics.	REX Workshop	1988	DBLP DOI BibTeX RDF
31	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
31	Takashi Kitamura 0001, Huimin Lin	Controlling Process Modularity in Mobile Computing.	ICTAC	2007	DBLP DOI BibTeX RDF	process modularity, bisimulation-preorder, interaction-costs, Mobile computing
31	Ulrich Fahrenberg	A Category of Higher-Dimensional Automata.	FoSSaCS	2005	DBLP DOI BibTeX RDF	Higher-dimensional automata, open maps, directed topology, bisimulation, fibrations
31	Neelesh Korade, S. Arun-Kumar	A Logical Characterization of Efficiency Preorders.	ICTAC	2004	DBLP DOI BibTeX RDF	efficiency preorders, Hennessy-Milner Logic, Concurrency, bisimulation, transition systems, process efficiency
31	Dorel Lucanu, Gabriel Ciobanu	Model Checking for Object Specifications in Hidden Algebra.	VMCAI	2004	DBLP DOI BibTeX RDF	hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV
31	Peter Buchholz 0001, Peter Kemper	Quantifying the Dynamic Behavior of Process Algebras.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF	process algebras, bisimulation, congruence, semiring
31	Peter Buchholz 0001, Peter Kemper	Modular State Level Analysis of Distributed Systems Techniques and Tool Support.	TACAS	1999	DBLP DOI BibTeX RDF	ordered natural decision diagrams, model checking, Petri nets, bisimulation, Software analysis, Kronecker algebra
30	Roberto Gorrieri	A study on team bisimulation and H-team bisimulation for BPP nets.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
30	Yuan Feng, Lei Song, Lijun Zhang 0001	Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata.	CoRR	2015	DBLP BibTeX RDF
30	Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini	k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes.	FACS	2015	DBLP DOI BibTeX RDF
30	Jean-Marie Madiot	Higher-order languages : dualities and bisimulation enhancements. (Langages d'ordre supérieur : dualités et techniques de bisimulation).		2015	RDF
30	Andrés A. Aristizábal P.	Bisimulation Techniques and Algorithms for Concurrent Constraint Programming. (Techniques de Bisimulation et Algorithmes pour la Programmation Concurrente par Contraintes).		2012	RDF