Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Avizienis, A., Laprie, J.C., et al.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1, 11–33 (2004)
2. Best, E., Randell, B.: A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica 16, 93–124 (1981)
3. Bilinski, K., Dagless, E.L., et al.: Behavioral Synthesis of Complex Parallel Controllers. In: Proc. of 9th International Conference on VLSI Design, pp. 186–191. IEEE, Los Alamitos (1996)
4. Lecture Notes in Computer Science,1980
5. Campbell, R., Habermann, A.N.: The Specification of Process Synchronization by Path Expressions. In: Proc. of Symposium on Operating Systems, pp. 89–102 (1981)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Using Coloured Acyclic Nets to Detect Fake Accounts on Social Media;2024 8th International Conference on Computer, Software and Modeling (ICCSM);2024-07-04
2. Localities in systems with a/sync communication;Theoretical Computer Science;2012-04
3. Modelling Provenance Using Structured Occurrence Networks;Lecture Notes in Computer Science;2012
4. Causality in Structured Occurrence Nets;Dependable and Historic Computing;2011