|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 7 gevonden artikelen
| Titel: |
Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis |
| Auteur: |
Fei Xia Ian Clark |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 50 (2003) nr. 2 pagina's 205-222 |
| Jaar: |
2003-07-11 |
| Inhoud: |
This paper presents new algorithms for the Signal and Message asynchronous data communication mechanisms (ACMs) and their modelling and analysis using Petri net techniques. This work extends the general knowledge of ACMs, the confidence of designing systems around them and the scope of their potential applications by standard Petri net techniques to model and analyse important properties of the new algorithms. The new algorithms and their proof also demonstrate that implementations of all types of ACMs can be found, and data communication within heterogeneously timed systems can span the full spectrum of asynchrony between processes. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 7 gevonden artikelen
| volgende >> |