A. Ingolfsdottir. Semantic Models for Communicating Processes with Value--Passing. Ph.D. Thesis, University of Edinburgh, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (Correct)
....For any finite process P there exists a Omega Gamma hnf , Omega Gamma P ) such that P = RP Omega Gamma P ) PROOF: The actual proof goes by structural induction on P (in case P j P 1 jP 2 it further relies on depth(P 1 jP 2 ) and is omitted because it is similar to that of Lemma 3.4. 3 in [35]. 2 Proposition 6.12 For any finite process P , P ffl if and only if P = RP Omega Gamma PROOF: By the previous proposition, we may assume that P is a Omega Gamma hnf . If P ffl then P must be Omega Gamma otherwise (it must be either nil or of the form P ffi A2A P e2A P A e where P ....
....P e 2HSF if 8e 2 A : P e 2BHSF; 3. P ffi A2A P e2A P A e 2HSF if 8A 2 A; 8e 2 A : P A e 2BHSF. Proposition 6.14 For any finite process P , if P # ffl then there exists a hsf , s(P ) such that P = RP s(P ) PROOF: The proof is omitted because it is similar to that of Proposition 3.4. 6 in [35]. 2 Proposition 6.15 For any process P , if P # ffl then there exists a hnf , h(P ) such that P = RP h(P ) PROOF: Because of Proposition 6.14, we may assume that P is a hsf , say P j P ffi A2A P e2A P A e (the case P j P e2A P e is similar) By repeated use of law IN1, we can rewrite P in ....
[Article contains additional citation context not shown here]
A. Ingolfsdottir. Semantic Models for Communicating Processes with Value--Passing. Ph.D. Thesis, University of Sussex, Department of Cognitive and Computing Science, 1994.
KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari.. (1997) (69 citations) (Correct)
....H. If i : D Delta D 0 is an embedding, H(i) H(D) Gamma H(D 0 ) the action of the functor on embeddings) is obtained as: H(i) H(i) f) i ffi f: By using standard techniques, we can prove that H is a continuous and covariant functor in CPO E which preserves algebraicity [27]. Therefore, the theory in [36] ensures the existence and uniqueness in CPO E of the initial fixed point of the functor H, i.e. the initial solution of the recursive domain equation for Delta. 17 P : nil fi fi fi a:P fi fi fi P 1 j P 2 fi fi fi P 1 P 2 fi fi fi X fi fi fi Ah ....
A. Ingolfsdottir. Semantic Models for Communicating Processes with Value--Passing. Ph.D. Thesis, University of Edinburgh, 1994.
Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (2000) (Correct)
....6.11 For any finite process P there exists a Omega Gamma hnf , Omega Gamma P ) s.t. P = RP Omega Gamma P ) PROOF: The actual proof goes by structural induction on P (in case of P j P 1 jP 2 it further relies on depth(P 1 jP 2 ) and is omitted since it is similar to that of Lemma 3.4. 3 in [37]. 2 Proposition 6.12 For any finite process P , P ffl if and only if P = RP Omega Gamma PROOF: By the previous proposition, we may assume that P is a Omega Gamma hnf . If P ffl then P must be Omega otherwise (it must be either nil or of the form P ffi A2A P e2A P A e where P A e is ....
....P e 2HSF if 8e 2 A : P e 2BHSF. 3. P ffi A2A P e2A P A e 2HSF if 8A 2 A; 8e 2 A : P A e 2BHSF. Proposition 6.14 For any finite process P , if P # ffl then there exists a hsf , s(P ) such that P = RP s(P ) PROOF: The proof is omitted because it is similar to that of Proposition 3.4. 6 in [37]. 2 Proposition 6.15 For any process P , if P # ffl then there exists a hnf , h(P ) s.t. P = RP h(P ) PROOF: Because of Proposition 6.14, we may assume that P is a hsf , say P j P ffi A2A P e2A P A e (the case P j P e2A P e is similar) By repeated use of law IN1, we can rewrite P in a ....
[Article contains additional citation context not shown here]
A. Ingolfsdottir. Semantic Models for Communicating Processes with Value--Passing. Ph.D. Thesis, University of Edinburgh, 1994.
KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari.. (1998) (69 citations) (Correct)
No context found.
A. Ingolfsdottir. Semantic Models for Communicating Processes with Value--Passing. Ph.D. Thesis, University of Edinburgh, 1994.
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