INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	KUČERA Antonín MAYR Richard
Rok publikování	2002
Druh	Uspořádání workshopu
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	INFINITY 2002, the 4th International Workshop on Verification of Infinite-State Systems was held as a satellite workshop of CONCUR 2002 (the 13th International Conference on Concurrency Theory) in Brno, Czech Republic, on August 24, 2002. The aim of the workshop is to provide a forum for researchers interested in the development of mathematical techniques for the analysis and verification of systems with infinitely many states. The topics of INFINITY 2002 included the following: techniques for modeling and analysis of infinite-state systems, equivalence-checking and model-checking with infinite-state systems, parameterized systems, calculi for mobility and security, finite-state abstractions of infinite-state systems.
Související projekty:	Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů