Вы здесь

Главная

частичный порядок

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

A Logic Characteristic for Timed Extensions of Partial Oeder Based Equivalences
Application and Theory of Petri Nets and Concurrency: Proc./39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 2018
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the Fly Transactions
Tools and Algorithms for the Construction and Analysis of Systems: Proc./21st International Conference, TACAS 2015 Held as Part of the European Joint Conferences ETAPS 2015, London, UK, April 2015
Typed Lambda Calculi and Applications: Proc./9th International Conference, TLCA 2009, Brasilia, Brazil, July 2009
Об устойчивости поведенческих эквивалентностей временных стабильных структур событий при детализации действий
О взаимосвязях поведенческих эквивалентностей временных сетей Петри
Тестовые эквивалентности временных сетей Петри