## Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

SESSION | 1 |

Modal Logic of Concurrent Nondeterministic Programs | 21 |

YNonDeterministic System Specification | 34 |

Copyright | |

15 other sections not shown

### Other editions - View all

Semantics of Concurrent Computation: Proceedings of the International ... G. Kahn No preview available - 2014 |

### Common terms and phrases

abstract actions allow application assume basic behavior called communication complete component computation concurrent condition consider consists constraints construct contains contraction correctness corresponding deadlock defined Definition denote depend described distributed domain elements equations equivalent event example execution exists expression Extended fact final finite firing formal formula function give given graph holds implementation important infinite initial input introduced invariant label language least lines livelocks logic marking means multiset nets node Note notion object observable occur operations parallel programs partial path Petri possible present primitive problem proof properties prove queue received relation represented request require respect restriction result satisfies semantics sequence sequential serializers simple specification statement step structure subset termination Theorem theory transition true University variables