|
| << 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 2 van 5 gevonden artikelen
| Titel: |
An Interface Group for Process Components |
| Auteur: |
Bergstra, Jan A. Middelburg, Cornelis A. |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 99 (2010) nr. 4 pagina's 355-382 |
| Jaar: |
2010-07-07 |
| Inhoud: |
We take a process component as a pair of an interface and a behaviour. We study the composition of interacting process components in the setting of process algebra. We formalize the interfaces of interacting process components by means of an interface group. An interesting feature of the interface group is that it allows for distinguishing between expectations and promises in interfaces of process components. This distinction comes into play in case components with both client and server behaviour are involved. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 2 van 5 gevonden artikelen
| << vorige | volgende >> |