marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 548: Added module Milner, of named, 1-to-1, synchronous/asynchronous, 1-size value-passing (algebraic)...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Wed, 01 Jul 2020 22:56:21 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 548
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
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