Search results for "bisimilarity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Michele Boreale, Luca Trevisan	A complexity analysis of bisimilarity for value-passing processes.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
18	Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum	Deciding Bisimilarity and Similarity for Probabilistic Processes.	J. Comput. Syst. Sci.	2000	DBLP DOI BibTeX RDF
18	Arend Rensink	Bisimilarity of Open Terms.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
18	Zena M. Ariola, Jan Willem Klop, Detlef Plump	Bisimilarity in Term Graph Rewriting.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
18	Petr Jancar	Decidability of Bisimilarity for One-Counter Processes.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
18	Sibylle B. Fröschle	Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP.	EXPRESS	1999	DBLP DOI BibTeX RDF
18	Andrew D. Gordon 0001	Bisimilarity as a Theory of Functional Programming.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
18	Jan J. M. M. Rutten	A note on coinduction and weak bisimilarity for while programs.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
18	Pawel Paczkowski	Towards characterizing bisimilarity of value-passing processes with context-free control.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
18	Jitka Stríbrná	Hardness results for weak bisimilarity of simple process algebras.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
18	Hans Hüttel, Colin Stirling	Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes.	J. Log. Comput.	1998	DBLP DOI BibTeX RDF
18	Arend Rensink	Bisimilarity of open terms.	EXPRESS	1997	DBLP DOI BibTeX RDF
18	Petr Jancar, Antonín Kucera 0001	Bisimilarity of processes with finite-state systems.	INFINITY	1997	DBLP DOI BibTeX RDF
18	Søren B. Lassen, Corin Pitcher	Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.	HOOTS	1997	DBLP DOI BibTeX RDF
18	Slawomir Lasota 0001	Open maps as a bridge between algebraic observational equivalence and bisimilarity.	WADT	1997	DBLP DOI BibTeX RDF
18	Ivana Cerná, Mojmír Kretínský, Antonín Kucera 0001	Bisimilarity is decidable in the union of normed BPA and normed BPP processes.	INFINITY	1996	DBLP DOI BibTeX RDF
18	Pawel Paczkowski	Characterizing bisimilarity of value-passing parametrised processes.	INFINITY	1996	DBLP DOI BibTeX RDF
18	Twan Basten	Branching Bisimilarity is an Equivalence Indeed!	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
18	Yoram Hirshfeld, Mark Jerrum, Faron Moller	A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
18	Andrew D. Gordon 0001, Gareth D. Rees	Bisimilarity for a First-Order Calculus of Objects with Subtyping.	POPL	1996	DBLP DOI BibTeX RDF
18	Andrew D. Gordon 0001	Bisimilarity as a theory of functional programming.	MFPS	1995	DBLP DOI BibTeX RDF
18	Petr Jancar	Undecidability of Bisimilarity for Petri Nets and Some Related Problems.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
18	S. Arun-Kumar, V. Natarajan	Conformance: A Precongruence close to Bisimilarity.	STRICT	1995	DBLP DOI BibTeX RDF
18	Petr Jancar	High Undecidability of Weak Bisimilarity for Petri Nets.	TAPSOFT	1995	DBLP DOI BibTeX RDF
18	Dusko Pavlovic	Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity.	Category Theory and Computer Science	1995	DBLP DOI BibTeX RDF
18	Dung T. Huynh, Lu Tian	A Note on the Complexity of Deciding Bisimilarity of Normed Unary Processes.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
18	Dung T. Huynh, Lu Tian	Deciding Bisimilarity of Normed Context-Free Processes is in Sigma^p_2.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
18	Yoram Hirshfeld, Faron Moller	A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
18	Alessandro Fantechi, Stefania Gnesi, R. Sacchelli	Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.	FORTE	1994	DBLP BibTeX RDF
18	Dung T. Huynh, Lu Tian	On the Complexity of Bisimilarity of Normed Probabilistic Context-Free Processes.	ICCI	1993	DBLP BibTeX RDF
18	José L. Balcázar, Joaquim Gabarró, Miklos Santha	Deciding Bisimilarity is P-Complete.	Formal Aspects Comput.	1992	DBLP BibTeX RDF
18	Hans Hüttel, Colin Stirling	Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes	LICS	1991	DBLP DOI BibTeX RDF
18	Cyril Autant, Z. Belmesk, Philippe Schnoebelen	Strong Bisimilarity on Nets Revisited.	PARLE (2)	1991	DBLP DOI BibTeX RDF
11	Nicolas Tabareau	A theory of distributed aspects.	AOSD	2010	DBLP DOI BibTeX RDF
11	Xian Xu 0001	On Bisimulation Theory in Linear Higher-Order pi-Calculus.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order
11	Radha Jagadeesan, Corin Pitcher, James Riely	Open Bisimulation for Aspects.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF
11	Stefan Göller, Richard Mayr, Anthony Widjaja To	On the Computational Complexity of Verifying One-Counter Processes.	LICS	2009	DBLP DOI BibTeX RDF
11	Ernst-Erich Doberkat	Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces.	TAMC	2009	DBLP DOI BibTeX RDF
11	Kristian Støvring, Søren B. Lassen	A Complete, Co-inductive Syntactic Theory of Sequential Control and State.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
11	Jaco van de Pol, Mark Timmer	State Space Reduction of Linear Processes Using Control Flow Reconstruction.	ATVA	2009	DBLP DOI BibTeX RDF
11	Luca Fossati, Daniele Varacca	The Calculus of Handshake Configurations.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Petri nets, types, process calculus, Handshake protocols
11	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	Reactive Systems, Barbed Semantics, and the Mobile Ambients.	FoSSaCS	2009	DBLP DOI BibTeX RDF
11	Eijiro Sumii	A Theory of Non-monotone Memory (Or: Contexts for free).	ESOP	2009	DBLP DOI BibTeX RDF
11	Venanzio Capretta, Tarmo Uustalu, Varmo Vene	Corecursive Algebras: A Study of General Structured Corecursion.	SBMF	2009	DBLP DOI BibTeX RDF
11	Frédéric Peschanski, Joël-Alexis Bialkiewicz	Modelling and Verifying Mobile Systems Using pi-Graphs.	SOFSEM	2009	DBLP DOI BibTeX RDF
11	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulations in calculi modelling membranes.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations
11	Michael Winter 0001	An Ordered Category of Processes.	RelMiCS	2008	DBLP DOI BibTeX RDF
11	Mir Sadek Ali, Mariano P. Consens, Shahan Khatchadourian, Flavio Rizzolo	DescribeX: Interacting with AxPRE Summaries.	ICDE	2008	DBLP DOI BibTeX RDF
11	Marco Bernardo 0001	Towards State Space Reduction Based on T-Lumpability-Consistent Relations.	EPEW	2008	DBLP DOI BibTeX RDF
11	Josée Desharnais, François Laviolette, Mathieu Tracol	Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games.	QEST	2008	DBLP DOI BibTeX RDF
11	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
11	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.	ICALP (2)	2008	DBLP DOI BibTeX RDF
11	Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson	Extended pi-Calculi.	ICALP (2)	2008	DBLP DOI BibTeX RDF
11	Bartek Klin, Vladimiro Sassone	Structural Operational Semantics for Stochastic Process Calculi.	FoSSaCS	2008	DBLP DOI BibTeX RDF
11	Hugo Torres Vieira, Luís Caires, João Costa Seco	The Conversation Calculus: A Model of Service-Oriented Computation.	ESOP	2008	DBLP DOI BibTeX RDF
11	Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos	Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.	FMOODS	2008	DBLP DOI BibTeX RDF
11	Julian Rathke, Pawel Sobocinski 0001	Deriving Structural Labelled Transitions for Mobile Ambients.	CONCUR	2008	DBLP DOI BibTeX RDF
11	Sjoerd Cranen, Mohammad Reza Mousavi 0001, Michel A. Reniers	A Rule Format for Associativity.	CONCUR	2008	DBLP DOI BibTeX RDF
11	Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo	Checking Correctness of Transactional Behaviors.	FORTE	2008	DBLP DOI BibTeX RDF	Service Oriented Architectures, Coordination, Event Notification, Observational Equivalence
11	Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg	Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.	IFIP TCS	2008	DBLP DOI BibTeX RDF
11	Takashi Kitamura 0001, Huimin Lin	Specifying Properties for Modular Pi-Calculus.	TASE	2008	DBLP DOI BibTeX RDF	Model checking, process algebra, Modal Logics
11	Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo, Emilio Tuosto	Refactoring Long Running Transactions.	WS-FM	2008	DBLP DOI BibTeX RDF
11	Thuy Duong Vu	Deciding orthogonal bisimulation.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Orthogonal bisimulation equivalence, Branching bisimulation equivalence, Silent step, Labeled transition system, Concurrency theory
11	Thomas Wahl	Adaptive Symmetry Reduction.	CAV	2007	DBLP DOI BibTeX RDF
11	Christoph Sprenger 0001, David A. Basin	A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols.	TPHOLs	2007	DBLP DOI BibTeX RDF
11	Marc Boyer, Olivier H. Roux	Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
11	Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii	Environmental Bisimulations for Higher-Order Languages.	LICS	2007	DBLP DOI BibTeX RDF
11	Marcello M. Bonsangue, Alexander Kurz 0001	Pi-Calculus in Logical Form.	LICS	2007	DBLP DOI BibTeX RDF
11	Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta 0001	Co-Logic Programming: Extending Logic Programming with Coinduction.	ICALP	2007	DBLP DOI BibTeX RDF
11	Etienne Farcot, Jean-Luc Gouzé	Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models.	HSCC	2007	DBLP DOI BibTeX RDF
11	Bernard Berthomieu, Florent Peres, François Vernadat 0001	Model Checking Bounded Prioritized Time Petri Nets.	ATVA	2007	DBLP DOI BibTeX RDF
11	Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia	CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.	APLAS	2007	DBLP DOI BibTeX RDF
11	Siamak Nazari, John G. Thistle	Structural Conditions for Model-checking of Parameterized Networks.	ACSD	2007	DBLP DOI BibTeX RDF
11	Michel A. Reniers, Muck van Weerdenburg	Action Abstraction in Timed Process Algebra.	FSEN	2007	DBLP DOI BibTeX RDF
11	Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci	A Behavioural Congruence for Web Services.	FSEN	2007	DBLP DOI BibTeX RDF
11	Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii	Logical Bisimulations and Functional Languages.	FSEN	2007	DBLP DOI BibTeX RDF
11	Natalya Gribovskaya, Irina B. Virbitskaite	A Categorical Observation of Timed Testing Equivalence.	PaCT	2007	DBLP DOI BibTeX RDF
11	Luca Aceto, Anna Ingólfsdóttir	The Saga of the Axiomatization of Parallel Composition.	CONCUR	2007	DBLP DOI BibTeX RDF
11	Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	Impossibility Results for the Equational Theory of Timed CCS.	CALCO	2007	DBLP DOI BibTeX RDF
11	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation.	CSL	2007	DBLP DOI BibTeX RDF
11	Ivan Lanese	Concurrent and Located Synchronizations in pi-Calculus.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
11	Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara	Disciplining Orchestration and Conversation in Service-Oriented Computing.	SEFM	2007	DBLP DOI BibTeX RDF
11	Bart Jacobs 0001	A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
11	Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss	Bigraphical Models of Context-Aware Systems.	FoSSaCS	2006	DBLP DOI BibTeX RDF
11	John N. Wilson, Richard Gourlay, Robert Japp, Mathias Neumüller	Extracting Partition Statistics from Semistructured Data.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
11	Rob J. van Glabbeek, Marc Voorhoeve	Liveness, Fairness and Impossible Futures.	CONCUR	2006	DBLP DOI BibTeX RDF
11	Henri Hansen, Antti Valmari	Operational Determinism and Fast Algorithms.	CONCUR	2006	DBLP DOI BibTeX RDF
11	Arend Rensink	Model Checking Quantified Computation Tree Logic.	CONCUR	2006	DBLP DOI BibTeX RDF
11	Damien Pous	Weak Bisimulation Up to Elaboration.	CONCUR	2006	DBLP DOI BibTeX RDF
11	Will Harwood, Faron Moller, Anton Setzer	Weak Bisimulation Approximants.	CSL	2006	DBLP DOI BibTeX RDF
11	Jan Van den Bussche	The Semijoin Algebra.	FoIKS	2006	DBLP DOI BibTeX RDF
11	Filippo Bonchi, Fabio Gadducci, Barbara König 0001	Process Bisimulation Via a Graphical Encoding.	ICGT	2006	DBLP DOI BibTeX RDF
11	Paolo Baldan, Hartmut Ehrig, Barbara König 0001	Composition and Decomposition of DPO Transformations with Borrowed Context.	ICGT	2006	DBLP DOI BibTeX RDF
11	S. Arun-Kumar	On Bisimilarities Induced by Relations on Actions.	SEFM	2006	DBLP DOI BibTeX RDF
11	Kamal Lodaya	Product Automata and Process Algebra.	SEFM	2006	DBLP DOI BibTeX RDF
11	Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin	A classification of symbolic transition systems.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms
11	Massimo Merro, Francesco Zappa Nardelli	Behavioral theory for mobile ambients.	J. ACM	2005	DBLP DOI BibTeX RDF	Behavioral theories, concurrency, programming languages, bisimulation, process calculi
11	Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux	Romeo: A Tool for Analyzing Time Petri Nets.	CAV	2005	DBLP DOI BibTeX RDF	scheduling, model-checking, Time Petri nets, state-space, polyhedron, stopwatch, DBM
11	Jan A. Bergstra, Cornelis A. Middelburg	Model Theory for Process Algebra.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
11	Fabio Gadducci, Ugo Montanari	Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF