Search results for "Congruences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Zhoujun Li, Huowang Chen	Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
13	Maria Handjieva, Stanislav Tzolovski	Refining Static Analyses by Trace-Based Partitioning Using Control Flow.	SAS	1998	DBLP DOI BibTeX RDF	reduced cardinal power, abstract interpretation, trace semantics
13	Marina Lenisa	A Uniform Syntactical Method for Proving Coinduction Principles in Lambda-Calculi.	TAPSOFT	1997	DBLP DOI BibTeX RDF
13	Rance Cleaveland, Gerald Lüttgen, Michael Mendler	An Algebraic Theory of Multiple Clocks.	CONCUR	1997	DBLP DOI BibTeX RDF
13	Pierpaolo Degano, Corrado Priami	Causality for Mobile Processes.	ICALP	1995	DBLP DOI BibTeX RDF
13	Tero Harju, Juhani Karhumäki, Wojciech Plandowski	Compactness of Systems of Equations in Semigroups.	ICALP	1995	DBLP DOI BibTeX RDF
13	Stavros S. Cosmadakis	Complete Proof Systems for Algebraic Simply-Typed Terms.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
13	K. V. S. Prasad	Broadcasting with Priority. (journal version: Science of Computer Programming 25 (1995))	ESOP	1994	DBLP DOI BibTeX RDF	Broadcast, functional programming, bisimulation, priority, process calculi
13	Astrid Kiehn	Proof Systems for Cause Based Equivalences.	MFCS	1993	DBLP DOI BibTeX RDF
13	Joachim Parrow, Davide Sangiorgi	Algebraic Theories for Name-Passing Calculi.	REX School/Symposium	1993	DBLP DOI BibTeX RDF
13	Jan J. M. M. Rutten, Daniele Turi	Initial Algebra and Final Coalgebra Semantics for Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality
13	Roope Kaivola, Antti Valmari	The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic.	CONCUR	1992	DBLP DOI BibTeX RDF
13	Ugo Montanari, Vladimiro Sassone	CCS Dynamic Bisimulation is Progressing.	MFCS	1991	DBLP DOI BibTeX RDF
13	Pierpaolo Degano, Roberto Gorrieri	Atomic Refinement in Process Description Languages.	MFCS	1991	DBLP DOI BibTeX RDF
13	Klaus Madlener, Friedrich Otto	Decidable Sentences for Context-Free Groups.	STACS	1991	DBLP DOI BibTeX RDF
13	Walter Vogler	Bisimulation and Action Refinement.	STACS	1991	DBLP DOI BibTeX RDF
13	Sanjoy K. Baruah, Rodney R. Howell, Louis E. Rosier	On Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor.	MFCS	1990	DBLP DOI BibTeX RDF
13	Gian-Luigi Ferrari 0002, Ugo Montanari	Towards the Unification of Models for Concurrency.	CAAP	1990	DBLP DOI BibTeX RDF
13	Bruno Buchberger	Algebraic Methods for Non-Linear Computational Geometry (Invited Address).	SCG	1988	DBLP DOI BibTeX RDF
13	Ricardo Ferré	Fast Integer Multiplication by Block Recursive, Number Theoretical Transforms.	AAECC	1988	DBLP DOI BibTeX RDF
13	Gilles Bernot, Michel Bidoit, Christine Choppy	Algebraic Semantics of Exception Handling.	ESOP	1986	DBLP DOI BibTeX RDF
13	Kim Guldstrand Larsen	A Context Dependent Equivalence between Processes.	ICALP	1985	DBLP DOI BibTeX RDF
13	Hugh C. Williams	An M³ Public-Key Encryption Scheme.	CRYPTO	1985	DBLP DOI BibTeX RDF
13	Ketan Mulmuley	The Mechanization of Existence Proofs of Recursive Predicates.	CADE	1984	DBLP DOI BibTeX RDF
13	Arnold Schönhage	Multiplikation großer Zahlen.	Computing	1966	DBLP DOI BibTeX RDF

Displaying result #501 - #525 of 525 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6]