Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
The message deliverability property requires that every emitted message has a chance of being received. In the context of the asynchronous p-calculus, we introduce a discipline of non-uniform receptivity that entails this property. Adopting this discipline requires a style of programming where resources are persistent. We give a general method to transform (in a fully abstract way) a process so that it complies with the discipline.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
105--129
Opis fizyczny
bibliogr. 15 poz.
Twórcy
autor
autor
autor
- Universitéte de Provence, Laboratoire d'Informatique Fondamentale de Marseille 39, rue Joliot Curie- 13453 Marseille cedex 13, France
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS2-0004-0065