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

Package Specification

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