Mifsud, A., Milner, R., and Power., J. Control Structures, LICS 95, IEEE Computer Society, 1995.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Process Structures - Honda (1997) (5 citations) (Correct)
....in [27] such wires are indeed semantically existent in a fully expressive fragment of the calculus. One of the basic aspects of wires thus incorporated is that the above encoding of name substitutions satisfies precisely those equations usually satisfied by them, as presented in e.g. [40]. This shows name substitution, or non injective renaming, can be introduced in a coherent way in the present setting (Section 7 discusses this point further) We define our process algebra with open connections incorporating the above notion of wires. As we shall soon observe, the incorporation ....
....on names and their role in computation through such analysis. At the same time, such constructions as wires in Section 6 may not be treated in a direct way as in the present theory. ffl Milner s Action Structures, initially presented in [46] and studied by him and by other researchers, cf. [39, 40, 11], also gives a semantic framework for general concurrent computation. The basic idea is to have a (strict) symmetric monoidal category in which arrows denote name based processes (called actions) the tensor gives their name based open composition (in the sense of Section 5) while arrow ....
Mifsud, A., Milner, R., and Power., J. Control Structures, LICS 95, IEEE Computer Society, 1995.
Elementary Structures in Process Theory (1) Sets with Renaming - Honda (1997) (Correct)
No context found.
Mifsud, A., Milner, R., and Power., J. Control Structures, LICS 95, IEEE Computer Society, 1995.
Notes On Undirected Actions - Kohei Honda (1997) (Correct)
No context found.
Mifsud, A., Milner, R., and Power., J. Control Structures, LICS 95, IEEE Computer Society, 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