| ... | @@ -47,4 +47,7 @@ It requires a deterministic LTS. |
... | @@ -47,4 +47,7 @@ It requires a deterministic LTS. |
|
|
```
|
|
```
|
|
|
property POLITE
|
|
property POLITE
|
|
|
= (knock->enter->POLITE).
|
|
= (knock->enter->POLITE).
|
|
|
``` |
|
```
|
|
\ No newline at end of file |
|
|
|
|
|
---
|
|
|
|
[← End User](End-User) |
|
|
|
\ No newline at end of file |
