 |
бисимуляционно эквивалентная
| модель Крипке
| бисимуляционно эквивалентный | |
| progr. | bisimulation equivalent |
| модель Крипке | |
| comp. | Kripke model |
| |||
| bisimulation equivalent (ssn) | |||
| бисимуляционно эквивалентная: 2 phrases in 1 subject |
| Programming | 2 |