MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Prime algebraicity." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

104 documents found, showing 1 through 10. Next 10 →

ATOM

Universal Quasi-Prime Algebraic Domains
by Guo-qiang Zhang — 1994 — Theoretical Computer Science
…Universal Quasi-Prime Algebraic Domains Guo-Qiang Zhang Department of Computer Science…
Cited by 2 (2 self) – Add To MetaCart

Uniform Primeness Of The Jordan Algebra Of Symmetric Operators
by L.L. Stacho, B. Zalar — 1998
…UNIFORM PRIMENESS OF THE JORDAN ALGEBRA OF SYMMETRIC OPERATORS L.L. Stach' o and B. Zalar Abstract…
Cited by 1 (1 self) – Add To MetaCart

Posets for Configurations!
by Arend Rensink — 1992 — of LNCS
…: -- Families of posets, in contrast to families of configurations, are always prime algebraic; in fact…
Cited by 7 (5 self) – Add To MetaCart

Generating Elliptic Curves of Prime Order
by Thomas A. Schmidt, Çetin K. Koç — 2001 — in Cryptographic Hardware and Embedded Systems – CHES 2001, LNCS
…. Gross and J. Smith on numbers of twin primes in algebraic number fields. Our variation precalculates…
Cited by 2 (0 self) – Add To MetaCart

Full Abstractness for a Functional/Concurrent Language With Higher-Order Value-Passing
by Chrysafis Hartonas, Takis Hartonas, Matthew Hennessy — 1998
… define a model, a prime algebraic lattice, which is fully abstract with respect to this behaviour…
Cited by 6 (3 self) – Add To MetaCart

Building continuous webbed models for System F
by S. Berardi, C. Berline — 2000
… semantics and have underlying prime algebraic domains, all have the maximum number of polymorphic maps…
Cited by 1 (0 self) – Add To MetaCart

On The Algebraic Approach To Concurrent Term Rewriting
by Fabio Gadducci — 1996
… 6.2 Flat Models Form Prime Algebraic Domains . . . . . . . . . . . . . . . . . 77 6.3 Cartesianity…
Cited by 25 (9 self) – Add To MetaCart

Unfolding and Event Structure Semantics for Graph Grammars
by Paolo Baldan, Andrea Corradini, Ugo Montanari — 1999 — Proceedings of FoSSaCS ’99, volume 1578 of LNCS
… be abstracted naturally to a prime algebraic domain and then to an event structure semantics. We show…
Cited by 29 (18 self) – Add To MetaCart

Coreflective concurrent semantics for single-pushout graph grammars
by Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro — 2003 — Workshop on Algebraic Development Techniques (WADT02), volume 2755 of Lecture Notes in Computer Science
… coreflection between the category of graph grammars and the category of prime algebraic domains. Introduction…
Cited by 2 (0 self) – Add To MetaCart

Representation Theorems for Petri Nets
by José Meseguer, Ugo Montanari, Vladimiro Sassone — Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday, volume 1337 of Lect. Notes in Comp. Science
… prime algebraic domain (or, equivalently, a prime event structure) models the computations of a safe net…
Cited by 11 (10 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB