Вы здесь

Главная

выразительность

Связанные издания:

Comparison of the Expressiveness of Timed Automata and Time Petri Nets
Expressiveness of Timed Events and Timed Languages
How Expressive Are Petri Net Schemata?
On Logics of Aliasing
Process Query Language: A Way to Make Workflow Processes More Flexible
Погружение модального лямбда-исчисления в логику доказательств