Interactive Processes


  • Action ::= give current bindings | Action hence Action
  • Datum ::= Token | Bindable | Bindings
  • DataOp ::= binding | overriding | disjoint union
  • Action ::= activate | deactivate | give current agent | send | receive | give current time Datum ::= Agent | Message | MessageTag

  This part of Kernel AN­2 corresponds to the Communicative facet of AN­1. Itīs not implemented in ABACO, so we are not going to talk about them. But, the new actions for Communicative facets are shown above.




   
Data| Flow of Data and Control| Actions as Data| Scopes of Bindings| Effects on Storage