A.Bucciarelli. Degrees of parallelism in the continuous type hierarchy. To appear in Proceedings of the Ninth International Conference on Mathematical Foundations of Programming Semantics, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Degrees of Parallelism - Lichtenthäler (1996) (Correct)
....called logically sequential. If the order of such a function is less than two in a finite model, there is a PCF term with the same semantics. However, in general functions with different degree of parallelism can be element of the same sequentiality relations. In section 10, using the results in [Buc95], ascending and descending sequences of degrees and sequences, where each pair of degrees is incomparable, are constructed. At last I have to point at the usage and the order of binding concerning the symbols for the logical operators. 9 is reserved for the already mentioned parallel existential ....
....gu r(R) 2 R and therefore f 2 R. 2 Corollary 10.6 implies Corollary 10.13 In the case D = B we have for any function f with f p gu n for all n 3: f is PCF definable or ord(f) 3. 2 So far we have constructed descending chains, only. A further generalization of gu due to Bucciarelli (cp. [Buc95]) for D = B yields ascending and descending chains as well as antichains. We introduce now the required notions: Definition 10.14 A set A = f(x (1) 1 ; x (n) 1 ) x (1) k ; x (n) k )g B n is said to be (linearly) coherent, if (x (i) 1 ; x (i) ....
A.Bucciarelli. Degrees of parallelism in the continuous type hierarchy. To appear in Proceedings of the Ninth International Conference on Mathematical Foundations of Programming Semantics, 1995.
The Expressive Power of Indeterminate Primitives in.. - Panangaden (1995) (5 citations) (Correct)
....then new differences appear [24] For example with the primitives WFS or USS one cannot reconstruct the output on the signal channel without having it available at first. This is very closely linked to stability phenomena. In the purely determinate realm Sazanov [40] and more recently Bucciarelli [8] have shown that the hierarchy associated with sequential and stable functions (called degrees of parallelism ) forms a very rich structure. The monotonicity arguments that we used can be used in other contexts as well. For example Critchlow and Panangaden [10] have used it to show that delay ....
A. Bucciarelli. Degrees of parallelism in the continuous type hierarchy. Workshop on Full Abstraction of PCF and Related Languages, University of Aarhus,, April 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC