Author:
Oortwijn Wytse,Gurov Dilian,Huisman Marieke
Publisher
Springer International Publishing
Reference57 articles.
1. Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design. Springer, London (2010).
https://doi.org/10.1007/978-1-84800-223-4
2. Lecture Notes in Computer Science;AW Appel,2007
3. Appel, A., Melliès, P., Richards, C., Vouillon, J.: A very modal model of a modern, major, general type system. In: POPL, vol. 42, pp. 109–122. ACM (2007).
https://doi.org/10.1145/1190216.1190235
4. Baeten, J.: Process Algebra with Explicit Termination. Eindhoven University of Technology, Department of Mathematics and Computing Science (2000)
5. Lecture Notes in Computer Science;S Blom,2015
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献