The Network Automaton Instructions Package In this package, the instructions provided for networked automata are defined.

Package Specification

In this package, the instructions provided for networked automata are defined. These implement the communication primitives.