Search results for "Equivalences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia	A Pi-Calculus with Explicit Substitutions: the Late Semantics.	MFCS	1994	DBLP DOI BibTeX RDF
10	David Walker 0008	On Bisimulation in the pi-calculus.	CONCUR	1994	DBLP DOI BibTeX RDF
10	Xinxin Liu	Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
10	Stephen Gilmore, Jane Hillston	The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
10	V. Natarajan 0001, Ivan Christoff, Linda Christoff, Rance Cleaveland	Priority and Abstraction in Process Algebra.	FSTTCS	1994	DBLP DOI BibTeX RDF
10	John D. Phillips	Generation of text from logical formulae.	Mach. Transl.	1993	DBLP DOI BibTeX RDF	tactical generation, indexed logic, generation, Machine translation, generation algorithm
10	Peter W. O'Hearn, Robert D. Tennent	Relational Parametricity and Local Variables.	POPL	1993	DBLP DOI BibTeX RDF	ALGOL
10	Artur Czumaj, Alan Gibbons	Problems on Pairs of Trees and the Four Colour Problem of Planar Graphs.	ICALP	1993	DBLP DOI BibTeX RDF
10	Andrew M. Pitts, Ian David Bede Stark	Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?	MFCS	1993	DBLP DOI BibTeX RDF
10	Kim Guldstrand Larsen, Wang Yi 0001	Time Abstracted Bisimiulation: Implicit Specifications and Decidability.	MFPS	1993	DBLP DOI BibTeX RDF
10	Matthew Hennessy, Huimin Lin	Proof Systems for Message-Passing Process Algebras.	CONCUR	1993	DBLP DOI BibTeX RDF
10	Leo Bachmair, Harald Ganzinger	Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria.	LPAR	1992	DBLP DOI BibTeX RDF
10	Maurizio Gabbrielli, Maria Chiara Meo	Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns.	ALP	1992	DBLP DOI BibTeX RDF
10	Val Tannen, Ramesh Subrahmanyam	On Extending Computational Adequacy by Data Abstraction.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
10	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
10	Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli	New Semantic Tools for Logic Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	logic programming, operational semantics, declarative semantics
10	Ferroudja Cherief	Back and Forth Bisimulations On Prime Event Structures.	PARLE	1992	DBLP DOI BibTeX RDF	Semantics of parallelism, back and forth bisimulations, refinement of actions, Concurrency, bisimulations, Event structures
10	Søren Christensen, Hans Hüttel, Colin Stirling	Bisimulation Equivalence is Decidable for all Context-Free Processes.	CONCUR	1992	DBLP DOI BibTeX RDF
10	Eric Goubault, Thomas P. Jensen	Homology of Higher Dimensional Automata.	CONCUR	1992	DBLP DOI BibTeX RDF
10	Dale Miller 0001	The pi-Calculus as a Theory in Linear Logic: Preliminary Results.	ELP	1992	DBLP DOI BibTeX RDF
10	Jianchun Zhang	Classifying approaches to semantic heterogeneity in multidatabase systems.	CASCON	1992	DBLP BibTeX RDF
10	Kostas Kontogiannis	Toward program representation and program understanding using process algebras.	CASCON	1992	DBLP BibTeX RDF
10	Costas Courcoubetis, Susanne Graf, Joseph Sifakis	An Algebra of Boolean Processes.	CAV	1991	DBLP DOI BibTeX RDF
10	Uno Holmer, Kim Guldstrand Larsen, Wang Yi 0001	Deciding Properties of Regular Real Time Processes.	CAV	1991	DBLP DOI BibTeX RDF
10	Ed Brinksma, Bengt Jonsson 0001, Fredrik Orava	Refining Interfaces of Communicating Systems.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
10	Gian-Luigi Ferrari 0002	On Causality Observed Incrementally, Finally.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
10	Maurizio Gabbrielli, Giorgio Levi	On the Semantics of Logic Programs.	ICALP	1991	DBLP DOI BibTeX RDF
10	Pierpaolo Degano, Roberto Gorrieri	Atomic Refinement in Process Description Languages.	MFCS	1991	DBLP DOI BibTeX RDF
10	William G. Chambers, Zong-Duo Dai	On Binary Sequences from Recursions modulo 2e Made Non-Linear by the Bit-by-Bit XOR Function.	EUROCRYPT	1991	DBLP DOI BibTeX RDF
10	François Denis, Jean-Paul Delahaye	Unfolding, Procedural and Fixpoint Semantics of Logic Programs.	STACS	1991	DBLP DOI BibTeX RDF
10	Luc Bougé	On the Semantics of Languages for Massively Parallel SIMD Architectures.	PARLE (2)	1991	DBLP DOI BibTeX RDF	The C language, Semantics, SIMD, Parallel languages, Structured Operational Semantics, Massively parallel architecture, Connection Machine, Program equivalence
10	Rocco De Nicola	Action and State-based Logics for Process Algebras.	CONCUR	1991	DBLP DOI BibTeX RDF
10	Robin Milner, Joachim Parrow, David Walker 0001	Modal Logics for Mobile Processes.	CONCUR	1991	DBLP DOI BibTeX RDF
10	Robin A. Nicholl, Tina M. Nicholl	Performing geometric transformations by program transformation.	ACM Trans. Graph.	1990	DBLP DOI BibTeX RDF
10	Philippe Darondeau, Pierpaolo Degano	Causal Trees: Interleaving + Causality.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	concurrency, bisimulation, causality, non-determinism
10	Luc Bougé, Patrick Garda	Towards a Semantic Approach to SIMD Architectures and their Languages.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
10	Philippe Darondeau	Concurrency and Computability.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
10	Philippe Schnoebelen, Sophie Pinchinat	On the Weak Adequacy of Branching-Time Remporal Logic.	ESOP	1990	DBLP DOI BibTeX RDF
10	Alfredo De Santis, Moti Yung	On the Design of Provably Secure Cryptographic Hash Functions.	EUROCRYPT	1990	DBLP DOI BibTeX RDF
10	Bernhard Steffen	Characteristic Formulae.	ICALP	1989	DBLP DOI BibTeX RDF
10	Mark A. Roth, Henry F. Korth, Abraham Silberschatz	Extended Algebra and Calculus for Nested Relational Databases.	ACM Trans. Database Syst.	1988	DBLP DOI BibTeX RDF
10	Vijay V. Vazirani, Mihalis Yannakakis	Pfaffian Orientations, 0/1 Permanents, and Even Cycles in Directed Graphs.	ICALP	1988	DBLP DOI BibTeX RDF
10	Mogens Nielsen, Uffe Engberg, Kim S. Larsen	Fully abstract models for a process language with refinement.	REX Workshop	1988	DBLP DOI BibTeX RDF	change of atomicity, noninterleaved models, labelled partial orders, semiwords, concurrency, full abstraction
10	Colin Stirling	Temporal logics for CCS.	REX Workshop	1988	DBLP DOI BibTeX RDF	Key-words transition systems, temporal logic, modal logic, CCS
10	Matthew Hennessy	Observing processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	behavioural semantics, testing, process algebras, Concurrent Processes
10	Sergei G. Vorobyov	A structural completeness theorem for a class of conditional rewrite rule systems.	Conference on Computer Logic	1988	DBLP DOI BibTeX RDF	conditional rewrite rules, case splitting, finite termination, reduction, inference rules, confluency, proof search, decision algorithms, strong completeness
10	Amelia Soriano	Prototype de Venus: Un Outil d'Aide à la Verification de Systemes Communicants.	STACS	1988	DBLP DOI BibTeX RDF
10	Peter B. Kessler	Discovering machine-specific code improvements.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
10	Randy H. Katz, Ellis E. Chang, Rajiv Bhateja	Version Modeling Concepts for Computer-Aided Design Databases.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
10	Zohar Manna, Richard J. Waldinger	How to Clear a Block: Plan Formation in Situational Logic.	CADE	1986	DBLP DOI BibTeX RDF
10	David de Frutos-Escrig	Probabilistic Ianov's Schemes.	CAAP	1986	DBLP DOI BibTeX RDF
10	Stephen D. Brookes	On the Relationship of CCS and CSP.	ICALP	1983	DBLP DOI BibTeX RDF
10	David Maier 0001, Jeffrey D. Ullman, Moshe Y. Vardi	The Revenge of the JD.	PODS	1983	DBLP DOI BibTeX RDF
10	David Michael Ritchie Park	Concurrency and Automata on Infinite Sequences.	Theoretical Computer Science	1981	DBLP DOI BibTeX RDF
10	Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman	Efficient Optimization of a Class of Relational Expressions.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	equivalence of queries, relational database, query optimization, NP-completeness, relational algebra, tableaux
10	Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé	Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.	ICALP	1979	DBLP DOI BibTeX RDF
10	Irène Guessarian	Some Applications of Algebraic Semantics.	MFCS	1978	DBLP DOI BibTeX RDF
10	Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman	Efficient Optimization of a Class of Relational Expressions (Abstract).	SIGMOD Conference	1978	DBLP DOI BibTeX RDF
10	Jack Sklansky, M. Finkelstein	A Formalism for Program Translation.	J. ACM	1968	DBLP DOI BibTeX RDF