Open AccessTeaching Formal Models of Concurrency Specification and Analysis
Author(s) -
Nikolay V. Shilov
Publication year - 2016
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2015-6-783-794
Subject(s) - computer science , concurrency , programming language , model checking , reachability , formal methods , petri net , theoretical computer science