Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis

Authors:
Fei Xia;Ian Clark
Affiliations:
Department of Computing Science, University of Newcastle upon Tyne, NE1 7RU, UK;Department of Computing Science, University of Newcastle upon Tyne, NE1 7RU, UK
Venue:
Fundamenta Informaticae - Application of Concurrency to System Design
Year:
2002

Citing 8
Cited 2

The Art of Electronics

The Art of Electronics
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Atomic Multireader Register

Proceedings of the 2nd International Workshop on Distributed Algorithms
How to Construct an Atomic Variable (Extended Abstract)

Proceedings of the 3rd International Workshop on Distributed Algorithms
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Asynchronous Communication Mechanisms Using Self-Timed Circuits

ASYNC '00 Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems
Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism

ASYNC '01 Proceedings of the 7th International Symposium on Asynchronous Circuits and Systems
Executing transactions in zero-safe nets

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets

Automating Synthesis of Asynchronous Communication Mechanisms

Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Buffered Asynchronous Communication Mechanisms

Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.