|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 5 gevonden artikelen
| Titel: |
On message deliverability and non-uniform receptivity |
| Auteur: |
Amadio, Roberto M. Boudol, Gérard Lhoussaine, Cédric |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 53 (2003) nr. 2 pagina's 105-129 |
| Jaar: |
2003-07-11 |
| Inhoud: |
The message deliverability property requires that every emitted message has a chance of being received. In the context of the asynchronous π-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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 5 gevonden artikelen
| << vorige | volgende >> |