Notice: If you are member of any public project or group, please make sure that your GitLab username is not the same as the LRZ identifier/Kennung (see https://gitlab.lrz.de/profile/account). Please change your username if necessary. For more information see the section "Public projects / Öffentliche Projekte" at https://doku.lrz.de/display/PUBLIC/GitLab . Thank you!

Commit 56bf4096 authored by Stefan Jaax's avatar Stefan Jaax

Update README.md

parent cc5eb08f
......@@ -34,7 +34,7 @@ population protocol "Majority Protocol" {
```
* After the key word *population protocol* the name of the protocol is given in
* After the keyword *population protocol* the name of the protocol is given in
quotes.
* Finite sets are specified in braces
......@@ -44,9 +44,9 @@ Names consist of alphanumerical characters or underscores.
* The set of states is given after the identifier *states*.
* In order to make transitions identifiable,
each transition must be given a name after the key word *transitions*.
each transition must be given a name after the keyword *transitions*.
* Transitions are defined after the key word *arcs*; there must be one definition
* Transitions are defined after the keyword *arcs*; there must be one definition
for each transition name.
* The set following the keyword *initial* specifies states that can
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment