Adequacy of Path Programs

  1. Lookup NU author(s)
  2. Professor Eike Best
Author(s)Best E
Publication type Report
Series TitleComputing Laboratory Technical Report Series
Year1980
Legacy DateJanuary 1980
Report Number146
Pages24
Full text is available for this publication:
Syntax and semantics of a subset of the path notation are introduced. Then a property of path programs called adequacy is defined; roughly, programs are adequate if there is no partial deadlock. Fianlly, two results are presented concerning adequacy. The first result solves the adequacy problem for a certain subclass of programs, and the second result characterises the problem in terms of PT-nets for another subclass. An overview of the results on adequacy which have been obtained so far is also given. Even so, this is intended to serve as an introductory text.
InstitutionComputing Laboratory, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
URLhttp://www.cs.ncl.ac.uk/publications/trs/papers/146.pdf
ActionsLink to this publication