Open AccessImproving the accuracy of Petri net-based analysis of concurrent programs
Author(s) -
A. T. Chamillard,
Lori A. Clarke
Publication year - 1996
Publication title -
acm sigsoft software engineering notes
Language(s) - English
Resource type - Journals
eISSN - 1943-5843
pISSN - 0163-5948
DOI - 10.1145/226295.226299
Subject(s) - executable , petri net , computer science , alias , spurious relationship , programming language , static analysis , state space , concurrency , data mining , machine learning , mathematics , statistics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom