------------------------------------------------------------ revno: 548 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: WORKING timestamp: Wed 2020-07-01 22:54:24 +0000 message: Added module Milner, of named, 1-to-1, synchronous/asynchronous, 1-size value-passing (algebraic) channels. Being first-class citizen, they allow the communication of channels like in the pi-calculus. Strictly speaking, (1) Milner's channels as initially defined in CCS are not value-passing (here they would be of type unit), and (2) both in CCS and pi-calculus, the `send' method is supposed to be executed in the synchronous mode, while in this module `send' is executed by default in the asynchronous mode. Hence, to force the synchronous mode we have to precise the option ~sync:(). Note that Milner's theoretical models were initially synchronous in order to have a basic definition of program equivalence (bisimilarity), but were later extended (by Milner and others) to cover the asynchronous case. added: CORTEX/milner.ml CORTEX/milner.mli
-- lp:ocamlbricks https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk Your team marionnet-dev is subscribed to branch lp:ocamlbricks. To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk/+edit-subscription _______________________________________________ Mailing list: https://launchpad.net/~marionnet-dev Post to : marionnet-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~marionnet-dev More help : https://help.launchpad.net/ListHelp
