The Art of Electronics
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
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
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
Buffered asynchronous communication mechanisms
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Automating Synthesis of Asynchronous Communication Mechanisms
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Scalable formalization of publish/subscribe messaging scheme based on message brokers
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Hi-index | 0.00 |
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.