104
click to vote
TOPNOC
2008
15 years 2 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...