Вы здесь

Главная

бисимуляция

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

Similarity of Generalizad Resources in Petri Nets
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Temporal Logic Verification Using Simulation
Theoretical Aspects of Computing - ICTAC 2007: Proc./4th International Colloquium. Macao, China, September 2007
Theory and Applications of Models of Computation: Proc/7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 2010
The timed barbed bisimulation is decidable for timed transition systems with invariants
Timed History Preserving Bisimulation and Open Maps
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
Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems
Up-to Techniques for Weak Bisimulation
Verification, Model Checking, and Abstract Interpretation: Proc./16th International Conference, VMCAI 2015, Mumbai, India, January, 2915
Weak Bisimulation Approximants
Weak Stochastic Bisimulation for Non-Markovian Processes
Исследование эквивалентностей на гибридно-временных структурах событий
Коалгебраическое исследование бисимуляционных параллельных процессов
Логическая унификация бисимуляционных эквивалентностей для временных стабильных структур событий
О взаимосвязях поведенческих эквивалентностей временных сетей Петри
Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях
Теоретические и прикладные задачи информатики: новые подходы и решения: Труды школы-конкурса молодых ученых. Новосибирск, Академгородок, 25 мая - 15 июня 2003 года