Search results for "preorders"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
139	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
105	Rob J. van Glabbeek	The Linear Time - Branching Time Spectrum II.	CONCUR	1993	DBLP DOI BibTeX RDF
94	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
94	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
90	Roberto Segala	Testing Probabilistic Automata.	CONCUR	1996	DBLP DOI BibTeX RDF
82	Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang	Characterising Testing Preorders for Finite Probabilistic Processes.	LICS	2007	DBLP DOI BibTeX RDF
67	Fabio Alessi	Type Preorders.	CAAP	1994	DBLP DOI BibTeX RDF
52	Marco Bernardo 0001, Luca Padovani	Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.	FMOODS	2007	DBLP DOI BibTeX RDF
52	Ufuk Celikkan, Rance Cleaveland	Generating Diagnostic Information for Behavioral Preorders.	CAV	1992	DBLP DOI BibTeX RDF
45	Jirí Srba	Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation.	CSL	2006	DBLP DOI BibTeX RDF
45	Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek	Precongruence formats for decorated trace semantics.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Decorated trace semantics, precongruence
37	Gianni Bosi, Javier Gutiérrez García, Esteban Induráin	Unified Representability of Total Preorders and Interval Orders through a Single Function: The Lattice Approach.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 54F05
37	Richard Booth 0001, Thomas Andreas Meyer	On the Dynamics of Total Preorders: Revising Abstract Interval Orders.	ECSQARU	2007	DBLP DOI BibTeX RDF
37	Roope Kaivola	Using Compositional Preorders in the Verification of Sliding Window Protocal.	CAV	1997	DBLP DOI BibTeX RDF
37	Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka	Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
30	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
30	Marc Aiguier, Diane Bahrami	Structures for Abstract Rewriting.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization
30	Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink	Compositionality for Markov Reward Chains with Fast Transitions.	EPEW	2007	DBLP DOI BibTeX RDF	discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition
30	Maria Carla Palmeri, Rocco De Nicola, Mieke Massink	Basic Observables for Probabilistic May Testing.	QEST	2007	DBLP DOI BibTeX RDF
30	Jean-Marc Champarnaud, Fabien Coulon	NFA Reduction Algorithms by Means of Regular Inequalities.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
30	Bartek Klin, Pawel Sobocinski 0001	Syntactic Formats for Free.	CONCUR	2003	DBLP DOI BibTeX RDF
30	Michele Boreale, Rocco De Nicola, Rosario Pugliese	Asynchronous Observations of Processes.	FoSSaCS	1998	DBLP DOI BibTeX RDF
30	Michele Boreale, Rocco De Nicola, Rosario Pugliese	Basic Observables for Processes.	ICALP	1997	DBLP DOI BibTeX RDF
30	Lars Jenner, Walter Vogler	Fast Asynchronous Systems in Dense Time.	ICALP	1996	DBLP DOI BibTeX RDF
30	Roberto Segala	Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
30	Ed Brinksma, Bengt Jonsson 0001, Fredrik Orava	Refining Interfaces of Communicating Systems.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
30	Franz Baader	Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems.	RTA	1991	DBLP DOI BibTeX RDF
30	Rance Cleaveland, Matthew Hennessy	Testing Equivalence as a Bisimulation Equivalence.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
30	Rocco De Nicola, Matthew Hennessy	CCS without tau's.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
27	Paolo Boldi, Flavio Chierichetti, Sebastiano Vigna	Pictures from Mongolia. Extracting the Top Elements from a Partially Ordered Set.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Algorithms, Ranking, Partial orders, Preorders
27	Marc Pouzet, Pascal Raymond	Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders
27	Eerke A. Boiten, John Derrick	Modelling Divergence in Relational Concurrent Refinement.	IFM	2009	DBLP DOI BibTeX RDF	internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement
22	Gianni Bosi, Roberto Daris, Magalì E. Zuanon	Continuous Multi-Utility Representations of Preorders and the Chipman Approach.	Axioms	2024	DBLP DOI BibTeX RDF
22	Jonas Frey	Uniform Preorders and Partial Combinatory Algebras.	CoRR	2024	DBLP DOI BibTeX RDF
22	Juan-De-Dios González-Hedström, Juan-José Miñana, Óscar Valero	Fuzzy preorders and generalized distances: The aggregation problem revisited.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
22	Gianni Bosi	Continuous Order-Preserving Functions for All Kind of Preorders.	Order	2023	DBLP DOI BibTeX RDF
22	Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner	Epistemic State Mappings among Ranking Functions and Total Preorders.	FLAP	2023	DBLP BibTeX RDF
22	Rocco De Nicola, Hernán C. Melgratti	Multiparty testing preorders.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
22	Xiaojuan Zhao	Monoids with quantale-valued preorders: Globalizations and localizations.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
22	Jonas Philipp Haldimann, Christoph Beierle	Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds.	KR	2023	DBLP DOI BibTeX RDF
22	Romain Demangeon, Catalin Dima, Daniele Varacca	Observational Preorders for Alternating Transition Systems.	EUMAS	2023	DBLP DOI BibTeX RDF
22	Dusko Pavlovic	Lambek pregroups are Frobenius spiders in preorders.	Compositionality	2022	DBLP DOI BibTeX RDF
22	Dominique Bourn	On the Cocartesian Image of Preorders and Equivalence Relations in Regular Categories.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
22	Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger	Index appearance record with preorders.	Acta Informatica	2022	DBLP DOI BibTeX RDF
22	Víctor Hugo Almendra-Hernández, Leonardo Martínez-Sandoval	On prescribing total orders and preorders to pairwise distances of points in Euclidean space.	Comput. Geom.	2022	DBLP DOI BibTeX RDF
22	Jonas Haldimann, Christoph Beierle	Model Transformations for Ranking Functions and Total Preorders.	CoRR	2022	DBLP DOI BibTeX RDF
22	Dusko Pavlovic	Lambek pregroups are Frobenius spiders in preorders.	CoRR	2021	DBLP BibTeX RDF
22	Víctor Hugo Almendra-Hernández, Leonardo Martínez-Sandoval	On prescribing total preorders and linear orders to pairwise distances of points in Euclidean space.	CoRR	2021	DBLP BibTeX RDF
22	Gianni Bosi, Magalì E. Zuanon	Topologies for the Continuous Representability of All Continuous Total Preorders.	J. Optim. Theory Appl.	2021	DBLP DOI BibTeX RDF
22	Jonas Haldimann, Gabriele Kern-Isberner	On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders.	FCR@KI	2021	DBLP BibTeX RDF
22	Chase Ford, Stefan Milius, Lutz Schröder	Behavioural Preorders via Graded Monads.	LICS	2021	DBLP DOI BibTeX RDF
22	Pavel Alaev, Victor L. Selivanov	Complexity Issues for the Iterated h-Preorders.	DCFS	2021	DBLP DOI BibTeX RDF
22	Theofanis I. Aravanis	Relevance-Sensitive Belief Revision in the Realm of Partial Preorders.	PCI	2021	DBLP DOI BibTeX RDF
22	Chase Ford, Stefan Milius, Lutz Schröder	Behavioural Preorders via Graded Monads.	CoRR	2020	DBLP BibTeX RDF
22	Michel De Lara, Pedro Gajardo, Diego Vicencio	Comparison theorem for viability kernels via conic preorders.	Syst. Control. Lett.	2020	DBLP DOI BibTeX RDF
22	Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa	Preorders, Partial Semigroups, and Quantales.	RAMiCS	2020	DBLP DOI BibTeX RDF
22	Caleb C. Levy, Robert E. Tarjan	Splaying Preorders and Postorders.	CoRR	2019	DBLP BibTeX RDF
22	Mathias Ruggaard Pedersen	Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects.	CoRR	2019	DBLP BibTeX RDF
22	Caleb C. Levy, Robert E. Tarjan	Splaying Preorders and Postorders.	WADS	2019	DBLP DOI BibTeX RDF
22	Alexander P. Sostak, Ingrida Uljane, Aleksandrs Elkins	Many-level fuzzy rough approximation spaces induced by many-level fuzzy preorders and the related ditopological structures.	EUSFLAT Conf.	2019	DBLP DOI BibTeX RDF
22	Gregor Kemper, Ngô Viêt Trung, Nguyen Thi Van Anh	Toward a theory of monomial preorders.	Math. Comput.	2018	DBLP DOI BibTeX RDF
22	David McCarthy, Kalle M. Mikkola	Continuity and completeness of strongly independent preorders.	Math. Soc. Sci.	2018	DBLP DOI BibTeX RDF
22	Maciej Gazda, Tim A. C. Willemse	Cooking Your Own Parity Game Preorders Through Matching Plays.	Int. J. Found. Comput. Sci.	2018	DBLP DOI BibTeX RDF
22	Giovanni Tito Bernardi, Adrian Francalanza	Full-abstraction for client testing preorders.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
22	José Guerrero, Juan-José Miñana, Óscar Valero	On the Use of Fuzzy Preorders in Multi-robot Task Allocation Problem.	IPMU (1)	2018	DBLP DOI BibTeX RDF
22	Aliaume Lopez, Alex Simpson	Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular.	CSL	2018	DBLP DOI BibTeX RDF
22	Josep Freixas, Montserrat Pons	Preorders in Simple Games.	Trans. Comput. Collect. Intell.	2017	DBLP DOI BibTeX RDF
22	Ferenc Bujtor, Lev Sorokin, Walter Vogler	Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
22	Carlos Bejines, María Jesús Chasco, Jorge Elorza, Susana Montes	Some Results About Fuzzy Consequence Operators and Fuzzy Preorders Using Conjunctors.	AGOP	2017	DBLP DOI BibTeX RDF
22	Giovanni Bernardi 0001, Adrian Francalanza	Full-Abstraction for Must Testing Preorders - (Extended Abstract).	COORDINATION	2017	DBLP DOI BibTeX RDF
22	Yong Chan Kim	Categories of fuzzy preorders, approximation operators and Alexandrov topologies.	J. Intell. Fuzzy Syst.	2016	DBLP DOI BibTeX RDF
22	Rocco De Nicola, Hernán C. Melgratti	Multiparty testing preorders.	CoRR	2016	DBLP BibTeX RDF
22	Gianni Bosi, Gerhard Herden	On continuous multi-utility representations of semi-closed and closed preorders.	Math. Soc. Sci.	2016	DBLP DOI BibTeX RDF
22	Lucia Gallina, Andrea Marin, Sabina Rossi	Connectivity and energy-aware preorders for mobile ad-hoc networks.	Telecommun. Syst.	2016	DBLP DOI BibTeX RDF
22	Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi	Name-passing calculi: From fusions to preorders and types.	Inf. Comput.	2016	DBLP DOI BibTeX RDF
22	José Carlos Rodriguez Alcantud, Susana Díaz	Fuzzy preorders: conditional extensions, extensions and their representations.	Fuzzy Optim. Decis. Mak.	2016	DBLP DOI BibTeX RDF
22	Eman Ramadan, Hesham Mekky, Braulio Dumba, Zhi-Li Zhang	Adaptive resilient routing via preorders in SDN.	DCC@PODC	2016	DBLP DOI BibTeX RDF
22	Maciej Gazda, Tim A. C. Willemse	On Parity Game Preorders and the Logic of Matching Plays.	SOFSEM	2016	DBLP DOI BibTeX RDF
22	Jasen Markovski	Employing behavioral preorders to define controllability for nondeterministic discrete-event systems.	Discret. Event Dyn. Syst.	2015	DBLP DOI BibTeX RDF
22	Yong Chan Kim	Join-meet approximation operators and fuzzy preorders.	J. Intell. Fuzzy Syst.	2015	DBLP DOI BibTeX RDF
22	Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu 0001	A behavioural theory for a π-calculus with preorders.	J. Log. Algebraic Methods Program.	2015	DBLP DOI BibTeX RDF
22	Dionís Boixader, Jordi Recasens	Generation and Characterization of Fuzzy T-preorders.	Appl. Artif. Intell.	2015	DBLP DOI BibTeX RDF
22	José Carlos R. Alcantud, Susana Díaz	Conditional extensions of fuzzy preorders.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
22	Rocco De Nicola, Hernán C. Melgratti	Multiparty Testing Preorders.	TGC	2015	DBLP DOI BibTeX RDF
22	Ulrich Höhle	Many-Valued Preorders I: The Basis of Many-Valued Mathematics.	A Passion for Fuzzy Sets	2015	DBLP DOI BibTeX RDF
22	Ulrich Höhle	Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry.	A Passion for Fuzzy Sets	2015	DBLP DOI BibTeX RDF
22	Ferenc Bujtor, Lev Sorokin, Walter Vogler	Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing.	ACSD	2015	DBLP DOI BibTeX RDF
22	Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu 0001	A Behavioural Theory for a π-calculus with Preorders.	FSEN	2015	DBLP DOI BibTeX RDF
22	Tetsuya Sato 0001	Identifying All Preorders on the Subdistribution Monad.	MFPS	2014	DBLP DOI BibTeX RDF
22	Egor Ianovski, Russell G. Miller, Keng Meng Ng, André Nies	Complexity of Equivalence Relations and Preorders from Computability Theory.	J. Symb. Log.	2014	DBLP DOI BibTeX RDF
22	Efe A. Ok, Gil Riella	Topological Closure of Translation Invariant Preorders.	Math. Oper. Res.	2014	DBLP DOI BibTeX RDF
22	Yuanye Tao, Hongliang Lai, Dexue Zhang	Quantale-valued preorders: Globalization and cocompleteness.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
22	Jeffrey T. Denniston, Austin Melton, Stephen Ernest Rodabaugh	Enriched categories and many-valued preorders: Categorical, semantical, and topological perspectives.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
22	Peter Hertling, Victor L. Selivanov	Complexity issues for Preorders on finite labeled forests.	Logic, Computation, Hierarchies	2014	DBLP DOI BibTeX RDF
22	Andrea Cerone, Matthew Hennessy	Characterising Testing Preorders for Broadcasting Distributed Systems.	TGC	2014	DBLP DOI BibTeX RDF
22	Dionís Boixader, Jordi Recasens	One-dimensional T-preorders.	CCIA	2014	DBLP DOI BibTeX RDF
22	Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez	On the Existence of Isotone Galois Connections between Preorders.	ICFCA	2014	DBLP DOI BibTeX RDF
22	Marcus Pivato	Multiutility representations for incomplete difference preorders.	Math. Soc. Sci.	2013	DBLP DOI BibTeX RDF
22	Kosta Dosen, Zoran Petric	Syntax for split preorders.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
22	Jorge Elorza, Ramón Fuentes-González, Jean Bragard, Pedro J. Burillo	On the relation between fuzzy closing morphological operators, fuzzy consequence operators induced by fuzzy preorders and fuzzy closure and co-closure systems.	Fuzzy Sets Syst.	2013	DBLP DOI BibTeX RDF