Milner, R., Action calculi, or concrete action structures, Proc. MFCS Conference, Gdansk, Poland, Lecture Notes in Computer Science, Springer Verlag, Vol 711, pp105--121, 1993. (Also titled Action calculi I: axioms and applications, the first of a series on action calculi.)  Home/Search   Document Not in Database   Summary   Related Articles

....and appealing pattern. Second, they are strong enough to deliver interesting properties of process calculi in a uniform way, which is a main purpose this paper. However, these concrete notions are axiomatized for a subclass of action structures called action calculi, which are introduced in [21]. 2.7 Categorical formulation Having discussed how the notion of action structure may be strengthened, we now look briefly at the natural formulation in categorical terms, which turns out to be a little weaker (i.e. more general) The axioms AF require the abstractors to be functors. But we ....

....already defined except , whose full form is (x) h i, which discards a name. Think of and as new and old , or create and destroy , or gain and lose . But SCCS[X] is not freely generated by these actions; certain identities hold among them, e.g. hxi Delta = id 0 . 3 3 In [21] a complete set of identities is given, so that SCCS[X] is indeed the action structure freely generated from the above actions divided by the equivalence induced by the identities. These identities characterize an important subclass of action structures called action calculi. We do not claim ....

[Article contains additional citation context not shown here]

Milner, R., Action calculi, or concrete action structures, Proc. MFCS Conference, Gdansk, Poland, Lecture Notes in Computer Science, Springer Verlag, Vol 711, pp105--121, 1993. (Also titled Action calculi I: axioms and applications, the first of a series on action calculi.)

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