Author:
Simpson D. P.,Reeve J. S.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. TF Abdelzaher and KG Shin. Combined task and message scheduling in distributed real-time systems. IEEE Trans. Parallel Distnb. Syst., 10:1179–1191, 1999.
2. S Abramsky, SJ Gay, and R Nagarajan. A specification structure for deadlock-freedom of synchronous processes. Theor. Comput. Sci., 222:1–53, 1999.
3. A. Arnold. Finite Transition Systems. Prentice Hall, Hemel Hempstead, 1992.
4. M. Ben-Ari. Principles of Concurrent and Distributed Programming. Prentice Hall, Hemel Hempstead, 1990.
5. DY Chao. Petri net synthesis and synchronization using knitting technique. J. Inf. Set. Eng., 15: 543–568, 1999.