Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,966,782 papers from all fields of science
Search
Sign In
Create Free Account
Prefix order
Known as:
Downward total
, Prefix (disambiguation)
, Prefix ordering
In mathematics, especially order theory, a prefix ordered set generalizes the intuitive concept of a tree by introducing the possibility of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Bisimulation
Category theory
Scott domain
String (computer science)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A Denotational Semantic Theory of Concurrent Systems
J. Misra
Logic, Rewriting, and Concurrency
2015
Corpus ID: 14010513
This paper proposes a general denotational semantic theory suitable for most concurrent systems. It is based on well-known…
Expand
2014
2014
Finite dimensional scattered posets
M. Pouzet
,
H. S. Kaddour
,
Nejib Zaguia
European journal of combinatorics (Print)
2014
Corpus ID: 16754156
2005
2005
The pursuit of buffer tolerance
B. Roscoe
2005
Corpus ID: 10776529
A system is buffer tolerant when buffers (namely, queues that may be of arbitrary or varying length) may be introduced onto some…
Expand
2004
2004
A Metrical Analysis of Syncope in Tlingit
Seth Cable
2004
Corpus ID: 18912789
A seemingly idiosyncratic set of verbal prefixes in Tlingit undergo an ellipsis alternation very similar to standard cases of…
Expand
2004
2004
Kahn ’ s Principle and the Semantics of Discrete Event Systems
Xiaojun Liu
2004
Corpus ID: 1355643
Kahn process networks (KPN) is an elegant model of computation for deterministic concurrent processes. The denotational semantics…
Expand
1999
1999
Contextual Petri Nets , Asymmetri Event Stru tures , and Pro esses ?
A. Corradini
1999
Corpus ID: 267916305
1997
1997
Implementation of Process Networks in Java
S. Richard
,
Marlene Wan
,
Peggy Laramie
,
T. Parks
,
Edward A. Lee
1997
Corpus ID: 59890561
A process network, as described by G. Kahn, is a network of sequential processes connected by FIFO queues. Process networks, a…
Expand
1997
1997
Prediction and measurement of direct-normal solar irradiance: A closure experiment
R. Halthore
,
S. Schwartz
,
J. Michalsky
,
G. Anderson
,
R. Ferrare
,
H. Brink
1997
Corpus ID: 8967103
Direct-normal solar irradiance (DNSI), the total energy in the solar spectrum incident on a plane perpendicular to the Sun`s…
Expand
1996
1996
Sets as Anti-Chains
Carl A. Gunter
,
Teow-Hin Ngair
,
D. Subramanian
Asian Computing Science Conference
1996
Corpus ID: 7254219
In this paper we present a theory of anti-chains as data representations for sets in circumstances where sets of interest satisfy…
Expand
1993
1993
On the Concentration of Infinite Traces
V. Diekert
Theoretical Computer Science
1993
Corpus ID: 44684834
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE