print · login   

Map

We have two type of map models:

  • Figure 1: Map of size 2 where you may set a value for a key once.
  • Figure 2: Map of size 2 where may set a value for a key a often as you want.

Map of size 2  where you may set a value for a key once
Fig. 1: Map of size 2 where you may set a value for a key once. The input symbols start with I, the output symbols start with O. In addition to symbols, the transitions contain value checks (or guards, ==, !=) and assignments (=).    

Reference implementation of the BRP sender
Fig. 2: Map of size 2 where may set a value for a key a often as you want. The input symbols start with I, the output symbols start with O. In addition to symbols, the transitions contain value checks (or guards, ==, !=) and assignments (=).