Search results for "equivalences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	Lucian Ilie, Roberto Solis-Oba, Sheng Yu 0001	Reducing the Size of NFAs by Using Equivalences and Preorders.	CPM	2005	DBLP DOI BibTeX RDF	state complexity, finite automata, equivalences, regular expression matching, preorders
75	Paolo Baldan, Andrea Bracciali, Roberto Bruni	Symbolic Equivalences for Open Systems.	Global Computing	2004	DBLP DOI BibTeX RDF
68	Jianmin Jiang, Jinzhao Wu	The Preservation of Interleaving Equivalences.	ICECCS	2005	DBLP DOI BibTeX RDF	bundle action transitions, interleaving equivalences, action refinement, Event structures
65	Xin Chen 0002, Yuxin Deng	Game Characterizations of Process Equivalences.	APLAS	2008	DBLP DOI BibTeX RDF
65	Harald Fecher	The Influence of Durational Actions on Time Equivalences.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
65	Xiao Jun Chen, Rocco De Nicola	Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures.	ICALP	1996	DBLP DOI BibTeX RDF
65	Alexander Moshe Rabinovich	Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
59	Michael Siegel, Frank A. Stomp	Extending the Limits of Sequentially Phased Reasoning.	FSTTCS	1994	DBLP DOI BibTeX RDF
55	Stefan Brüning	Exploiting Conditional Equivalences in Connection Calculi.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
55	Ursula Goltz, Ruurd Kuiper 0001, Wojciech Penczek	Propositional Temporal Logics and Equivalences.	CONCUR	1992	DBLP DOI BibTeX RDF
55	Dung T. Huynh, Lu Tian	The complexity of readiness and failure equivalences for processes.	SPDP	1991	DBLP DOI BibTeX RDF
52	J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce	Quotient lenses.	ICFP	2008	DBLP DOI BibTeX RDF	bidirectional languages, bijective languages, boomerang, regular string transducers, equivalences, lenses, view update problem, canonizers, regular types
49	Mohammad Izadi, Ali Movaghar 0001	Compositional failure-based semantic equivalences for Reo specifications.	SAVCBS	2007	DBLP DOI BibTeX RDF	Reo specification language, failure-based equivalences, semantics, coordination, component-based systems, constraint automata
49	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka	Probabilistic I/O Automata: Theories of Two Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations
49	A. Del Río, Luis Javier Hernández-Paricio, María Teresa Rivas Rodríguez	S-types of Global Towers of Spaces and Exterior Spaces.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 55Q57, 55Q70, 54A05
49	Filippo Bonchi, Barbara König 0001, Ugo Montanari	Saturated Semantics for Reactive Systems.	LICS	2006	DBLP DOI BibTeX RDF
46	Manuel Núñez 0001, Luis Fernando Llana Díaz	A Hierarchy of Equivalences for Probabilistic Processes.	FORTE	2008	DBLP DOI BibTeX RDF
46	Huimin Lin	Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus.	TAPSOFT	1995	DBLP DOI BibTeX RDF
46	Linda Christoff, Ivan Christoff	Efficient Algorithms for Verification of Equivalences for Probabilistic Processes.	CAV	1991	DBLP DOI BibTeX RDF
46	Rob J. van Glabbeek, Ursula Goltz	Equivalences and Refinement.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
39	Xiaowei Huang 0001, Li Jiao, Weiming Lu	What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.	ICICS	2007	DBLP DOI BibTeX RDF	rule format, computer security, non-interference, semantic equivalences
39	Yuxin Deng, Catuscia Palamidessi	Axiomatizations for Probabilistic Finite-State Behaviors.	FoSSaCS	2005	DBLP DOI BibTeX RDF
39	Rob J. van Glabbeek, Ursula Goltz	Refinement of actions and equivalence notions for concurrent systems.	Acta Informatica	2001	DBLP DOI BibTeX RDF
36	Vitus S. W. Lam	Equivalences of BPMN processes.	Serv. Oriented Comput. Appl.	2009	DBLP DOI BibTeX RDF	Process equivalence, Equivalence classification, BPMN
36	Marco Bernardo 0001	A Survey of Markovian Behavioral Equivalences.	SFM	2007	DBLP DOI BibTeX RDF
36	Bruno Blanchet, Martín Abadi, Cédric Fournet	Automated Verification of Selected Equivalences for Security Protocols.	LICS	2005	DBLP DOI BibTeX RDF
36	Maria V. Andreeva, Irina B. Virbitskaite	Timed Equivalences for Timed Event Structures.	PaCT	2005	DBLP DOI BibTeX RDF
36	Davide Sangiorgi, David Walker 0008	On Barbed Equivalences in pi-Calculus.	CONCUR	2001	DBLP DOI BibTeX RDF
36	Vashti Galpin	Comparison of Process Algebra Equivalences Using Formats.	ICALP	1999	DBLP DOI BibTeX RDF
36	Petr Jancar, Antonín Kucera 0001, Richard Mayr	Deciding Bisimulation-Like Equivalences with Finite-State Processes.	ICALP	1998	DBLP DOI BibTeX RDF
36	Zhoujun Li, Huowang Chen	Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
36	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
36	Irek Ulidowski	Axiomatisations of Weak Equivalences for De Simone Languages.	CONCUR	1995	DBLP DOI BibTeX RDF
36	Joachim Parrow	Structural and Behavioural Equivalences of Networks.	ICALP	1990	DBLP DOI BibTeX RDF
36	Ivan Christoff	Testing Equivalences and Fully Abstract Models for Probabilistic Processes.	CONCUR	1990	DBLP DOI BibTeX RDF
36	Stefania Gnesi, Paola Inverardi, Monica Nesi	A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.	Concurrency	1988	DBLP DOI BibTeX RDF
33	Simon Henry, Samuel Mimram	Tietze Equivalences as Weak Equivalences.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
33	Enguerrand Prebet	Typed Behavioural Equivalences in the Pi-Calculus. (Équivalences comportementales typées dans le pi-calcul). (PDF / PS)		2022	RDF
33	Simon Henry, Samuel Mimram	Tietze Equivalences as Weak Equivalences.	CoRR	2021	DBLP BibTeX RDF
33	Itsaka Rakotonirina	Efficient verification of observational equivalences of cryptographic processes : theory and practice. (Vérification efficace d'équivalences observationnelles de processus cryptographiques : théorie et pratique).		2021	RDF
33	Francesco Gavazzo	Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects. (Equivalences coinductives et métriques pour les langages d'ordre supérieur avec des effets algébriques).		2019	RDF
33	Khanh Vo Phi	Contributions à l'étude des arrangements: Equivalences combinatoires et perturbations. (Contributions to the study of arrangements: Combinatorial equivalences and perturbations).		1994	RDF
33	Pierre-Louis Curien	Syntactic Equivalences Inducing Semantic Equivalences.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
32	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
32	Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi 0001	TAPAs: A Tool for the Analysis of Process Algebras.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification
32	Lucian Ilie, Sheng Yu 0001	Algorithms for Computing Small NFAs.	MFCS	2002	DBLP DOI BibTeX RDF	follow relations, invariant equivalences, algorithms, regular expressions, positions, partial derivatives, quotients, nondeterministic finite automata
32	Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek	Precongruence Formats for Decorated Trace Preorders.	LICS	2000	DBLP DOI BibTeX RDF	semantic equivalences and preorders, Concurrency, compositionality, labeled transition systems, full abstraction, structural operational semantics
29	Tayssir Touili	Constrained Reachability of Process Rewrite Systems.	ICTAC	2009	DBLP DOI BibTeX RDF
29	Marco Bernardo 0001	Towards State Space Reduction Based on T-Lumpability-Consistent Relations.	EPEW	2008	DBLP DOI BibTeX RDF
29	Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga	Game Relations and Metrics.	LICS	2007	DBLP DOI BibTeX RDF
29	Jirí Srba	Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation.	CSL	2006	DBLP DOI BibTeX RDF
29	Jürgen Lerner	Role Assignments.	Network Analysis	2004	DBLP DOI BibTeX RDF
29	Sumit Gulwani, George C. Necula	A Polynomial-Time Algorithm for Global Value Numbering.	SAS	2004	DBLP DOI BibTeX RDF
29	Alfons H. Salden	Multimedia System Analysis And Processing.	ICME	2001	DBLP DOI BibTeX RDF
29	Oliver Rüthing, Jens Knoop, Bernhard Steffen	Detecting Equalities of Variables: Combining Efficiency with Precision.	SAS	1999	DBLP DOI BibTeX RDF
29	Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger	The Observational Power of Clocks.	CONCUR	1994	DBLP DOI BibTeX RDF
29	Joachim Parrow, Davide Sangiorgi	Algebraic Theories for Name-Passing Calculi.	REX School/Symposium	1993	DBLP DOI BibTeX RDF
29	Rob J. van Glabbeek, Ursula Goltz	Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).	MFCS	1989	DBLP DOI BibTeX RDF
29	Rob J. van Glabbeek, Frits W. Vaandrager	Petri Net Models for Algebraic Theories of Concurrency.	PARLE (2)	1987	DBLP DOI BibTeX RDF
29	Kim Guldstrand Larsen	A Context Dependent Equivalence between Processes.	ICALP	1985	DBLP DOI BibTeX RDF
26	Roland Glück, Bernhard Möller, Michel Sintzoff	A Semiring Approach to Equivalences, Bisimulations and Control.	RelMiCS	2009	DBLP DOI BibTeX RDF
26	Hiroaki Yoshida, Masahiro Fujita	Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences.	ISQED	2009	DBLP DOI BibTeX RDF
26	Omid Sarbishei, Bijan Alizadeh, Masahiro Fujita	Arithmetic Circuits Verification without Looking for Internal Equivalences.	MEMOCODE	2008	DBLP DOI BibTeX RDF
26	Mihir Bellare, Marc Fischlin, Adam O'Neill, Thomas Ristenpart	Deterministic Encryption: Definitional Equivalences and Constructions without Random Oracles.	CRYPTO	2008	DBLP DOI BibTeX RDF
26	Alberto Trombetta, Danilo Montesi	Equivalences and optimizations in an expressive XSLT subset.	Acta Informatica	2006	DBLP DOI BibTeX RDF
26	Robert Jenssen, Torbjørn Eltoft, Deniz Erdogmus, José C. Príncipe	Some Equivalences between Kernel Methods and Information Theoretic Methods.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	Mercel kernel methods, information theoretic methods, Parzen window
26	Paolo Baldan, Fabio Gadducci, Ugo Montanari	Concurrent Rewriting for Graphs with Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	Concurrent graph rewriting, dpo approach, graphical encoding of nominal calculi, graph process semantics
26	Alberto Trombetta, Danilo Montesi	Equivalences and Optimizations in an Expressive XSLT Fragment.	IDEAS	2004	DBLP DOI BibTeX RDF
26	Radoslaw P. Katarzyniak	Extracting Modal Implications and Equivalences from Cognitive Minds.	Discovery Science	2004	DBLP DOI BibTeX RDF
26	Guangping Qin, Jinzhao Wu	Branching Time Equivalences for Interactive Markov Chains.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
26	Slawomir Lasota 0001	A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes.	MFCS	2003	DBLP DOI BibTeX RDF
26	Hong Yao, Howard J. Hamilton, Cory J. Butz	FD_Mine: Discovering Functional Dependencies in a Database Using Equivalences.	ICDM	2002	DBLP DOI BibTeX RDF
26	Luis Berrojo, Isabel González, Luis Entrena, Celia López, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero	Analysis of the Equivalences and Dominances of Transient Faults at the RT Level.	IOLTW	2002	DBLP DOI BibTeX RDF
26	Cédric Fournet, Georges Gonthier	A Hierarchy of Equivalences for Asynchronous Calculi.	ICALP	1998	DBLP DOI BibTeX RDF
26	Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini	Equivalences of Statecharts.	CONCUR	1996	DBLP DOI BibTeX RDF
26	Gerlinde Schreiber	Functional Equivalences of Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
26	Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Equivalences for Fair Kripke Structures.	ICALP	1994	DBLP DOI BibTeX RDF
26	Astrid Kiehn	On the Decidability of Non-Interleaving Process Equivalences.	CONCUR	1994	DBLP DOI BibTeX RDF
26	Lalita Jategaonkar, Albert R. Meyer	Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report).	ICALP	1993	DBLP DOI BibTeX RDF
26	Alan F. McMichael	SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory.	CADE	1990	DBLP DOI BibTeX RDF
26	Rocco De Nicola, Paola Inverardi, Monica Nesi	Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
26	Laurent Kott	A System for Proving Equivalences of Recursive Programs.	CADE	1980	DBLP DOI BibTeX RDF
23	Ladislav J. Kohout	Boolean and Fuzzy Relations.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Local relational properties, Interiors, Pre-order, BK-products, Relational compositions, Nonassociative products, Generalized morphism, Universal properties of relations, n-ary relation, Value analysis, Artificial intelligence, Decision theory, Psychology, Equivalences, Tolerances, Medicine, Scientific applications, Closures, Fuzzy relations, Engineering applications
23	Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt	On the Expressiveness and Decidability of Higher-Order Process Calculi.	LICS	2008	DBLP DOI BibTeX RDF	behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages
23	José Luis González Sánchez 0001, Marcelino J. Cabrera, Francisco L. Gutiérrez	Using Videogames in Special Education.	EUROCAST	2007	DBLP DOI BibTeX RDF	stimulus equivalences, interaction systems, video games, autism, communication systems, learning tools, multiple intelligences
23	Jianmin Jiang, Jinzhao Wu, Hongping Shu	Symmetry in Process Algebra.	TASE	2007	DBLP DOI BibTeX RDF	behavioral equivalences, Process algebra, symmetry, permutation groups
23	Jianmin Jiang, Jinzhao Wu, Donghuo Chen	Symmetry in event structures.	SAC	2006	DBLP DOI BibTeX RDF	symmetry, equivalences, event structures
23	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
23	Sumit Gulwani, George C. Necula	Global value numbering using random interpretation.	POPL	2004	DBLP DOI BibTeX RDF	global value numbering, herbrand equivalences, random interpretation, randomized algorithm, uninterpreted functions
23	Francesca Levi, Davide Sangiorgi	Mobile safe ambients.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	behavioral equivalences, Mobility, interferences
20	Jirí Rosický	On Combinatorial Model Categories.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 55U55, Secondary 18C35
20	Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg	State-dependent representation independence.	POPL	2009	DBLP DOI BibTeX RDF	local state, representation independence, abstract data types, existential types, step-indexed logical relations
20	Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin	Managing Model Adaptation by Precise Detection of Metamodel Changes.	ECMDA-FA	2009	DBLP DOI BibTeX RDF	Adaptation, Model Transformation, Model-Driven Engineering
20	Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan	On the Relationships between Notions of Simulation-Based Security.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
20	Bishop Brock, Matt Kaufmann, J Strother Moore	Rewriting with Equivalence Relations in ACL2.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Refinement, Rewriting, Congruence, Equivalence relations
20	Vincent Astier	Elementary equivalence of some rings of definable functions.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03C60, 14P10, 06F25
20	Lifeng He, Yuyan Chao, Kenji Suzuki 0001	A Run-Based Two-Scan Labeling Algorithm.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
20	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
20	Étienne Lozes, Jules Villard	A Spatial Equational Logic for the Applied pi-Calculus.	CONCUR	2008	DBLP DOI BibTeX RDF
20	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Universal Coinductive Characterisations of Process Semantics.	IFIP TCS	2008	DBLP DOI BibTeX RDF