Author:
Rawson Marshall,Rawson Michael G.
Publisher
Springer Nature Switzerland
Reference17 articles.
1. Allen, G.E.: Computational process networks: a model and framework for high-throughput signal processing. Ph.D. thesis, University of Texas at Austin (2011)
2. Arvind, Nikhil, R.S.: Executing a program on the MIT tagged-token dataflow architecture. IEEE Trans. Comput. 39(3), 300–318 (1990)
3. Best, E., Devillers, R.: Sequential and concurrent behaviour in petri net theory. Theoret. Comput. Sci. 55(1), 87–136 (1987)
4. Chajed, T., Tassarotti, J., Frans Kaashoek, M., Zeldovich, N.: Verifying concurrent, crash-safe systems with perennial. In: Proceedings of the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, pp. 243–258. Association for Computing Machinery, New York (2019)
5. Christensen, S., Petrucci, L.: Modular analysis of petri nets. Comput. J. 43(3), 224–242 (2000)