Honda, K. Notes on P-algebra (5): Partial Milner Algebras. April 1995. Typescript. 29 pages (Main Part), 22 pages (Addendum). A revised version to appear as a CS technical report, Manchester University.  Home/Search   Document Not in Database   Summary   Related Articles

....in theory and practice, contributing to the sound development of principles of typed concurrent programming. The purpose of the present paper is to convey the basic ideas and results of typed algebras together with their important applications, without going into too much technical details. See [15] for the full development of the theory of typed algebras. See also a series of the author s study on semantics of processes [11, 12, 13, 14, 15] which form the general mathematical backgrounds of the present work. In the rest of the paper, Section 2 presents the basic elements of typed algebras. ....

....present paper is to convey the basic ideas and results of typed algebras together with their important applications, without going into too much technical details. See [15] for the full development of the theory of typed algebras. See also a series of the author s study on semantics of processes [11, 12, 13, 14, 15] which form the general mathematical backgrounds of the present work. In the rest of the paper, Section 2 presents the basic elements of typed algebras. Section 3 gives the main theoretical result, characterisation of the typability among the underlying partial algebras by a modularity principle ....

[Article contains additional citation context not shown here]

Honda, K. Notes on P-algebra (5): Partial Milner Algebras. April 1995. Typescript. 29 pages (Main Part), 22 pages (Addendum). A revised version to appear as a CS technical report, Manchester University.

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