Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: message deliverability

Sortuj według:

Ogranicz wyniki do:

On message deliverability and non-uniform receptivity

Amadio R.M., Boudol G., Lhoussaine C.

Fundamenta Informaticae

2002

Vol. 53, nr 2

105-129

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.