Author:
Reisig W.,Kindler E.,Vesper T.,Völzer H.,Walter R.
Publisher
Springer Berlin Heidelberg
Reference65 articles.
1. G. A. Agha: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA (1986)
2. Bowen Alpern, Fred B. Schneider: Defining Liveness. Information Processing Letters 21, pp. 181–185 (1985)
3. International Series in Computer Science;M. Ben-Ari,1990
4. V. Barbosa: An Introduction to Distributed Algorithms. MIT Press, Cambridge, MA (1996)
5. G. Berry, G. Boudol: The chemical abstract machine. TCS, (1982)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. DISCOVERING PATTERNS FOR INTER-ORGANIZATIONAL BUSINESS PROCESS COLLABORATION;International Journal of Cooperative Information Systems;2007-09
2. Randomized Non-sequential Processes;Lecture Notes in Computer Science;2001
3. Verifying Intuition — ILF Checks DAWN Proofs;Lecture Notes in Computer Science;1999
4. An Introduction to Petri Nets;Supervisory Control of Concurrent Systems