サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
iPhone 16
www.lfcs.inf.ed.ac.uk
Robin Milner Abstract: The pi-calculus is a model of concurrent computation based upon the notion of naming. It is first presented in its simplest and original form, with the help of several illustrative applications. Then it is generalized from monadic to polyadic form. Semantics is done in terms of both a reduction system and a version of labelled transitions called commitment; the known algebra
R. Milner, J. Parrow and D. Walker Abstract: We present the pi-calculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The calculus is an extension of the process algebra CCS,
このページを最初にブックマークしてみませんか?
『www.lfcs.inf.ed.ac.uk』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く