J.de Bakker, F.van Breugel, Metric Semantics for Second Order Communication, Technical Report, McGill University, Montreal, July 1995.  Home/Search   Document Details and Download   Summary   Related Articles

....of an interesting class of concurrent languages with higher order features and global variables. For instance, all the results that we show for L pas2 can be proved also for the concurrent language with second order communication L co2 introduced and studied in [2] and further investigated in [3]. The methodology outlined in this paper for investigating L pas2 should be, therefore, quite general. We use extensively categorical tools and constructions. We shall mostly utilize a categorical setting of non wellfounded sets which extends that of [1] to a Work supported by CNR, EEC Science ....

....i of this lemma. ut Corollary 3. 2 For all s; s 0 2 Statement and for all oe; oe 0 2 SynState, s s 0 oe oe 0 ) 8C[ M(C[s] oe) M(C[s 0 ] oe 0 ) 4 A Full Abstraction Result In this section we consider the metric denotational semantics for L pas2 a la de Bakker (see [2, 3]) and we compare the equivalence induced by this semantics, denoted by sem , and the hyperset equivalence . We will show that sem coincides with the equivalence . It is interesting to notice that, as a consequence of this, we can characterize an equivalence defined using a contravariant ....

J.de Bakker, F.van Breugel, Metric Semantics for Second Order Communication, Technical Report, McGill University, Montreal, July 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