Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Michael G. Rawson"'
Autor:
Marshall Rawson, Michael G. Rawson
Concurrent programming is used in all large and complex computer systems. However, concurrency errors and system failures (ex: crashes and deadlocks) are common. We find that Petri nets can be used to model concurrent systems and find and remove erro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85d205d92bd87f5061533aab30c19d66
