- 45 Downloads
Omission of results in COSY theory which exist in the published literature, but which are based on different techniques which would have to be explained to make the book self contained. Their inclusion would have lengthened the present text considerably.
Omission of discussion of other important formal approaches to concurrency.
Omission of discussion of other important path notations based on different models of concurrency.
Omission of discussion of path or COSY like models which have largely appeared independently of knowledge of the similarity with our approach.
KeywordsHistorical Perspective Methodological Framework Propositional Variable Program Schema Elementary Operation
Unable to display preview. Download preview PDF.