Author:
Aceto Luca,García-Pérez Álvaro,Ingólfsdóttir Anna
Publisher
Springer International Publishing
Reference32 articles.
1. Abramsky, S.: Domain theory and the logic of observable properties. Ph.D. thesis, Department of Computer Science, Queen Mary College, University of London (1987)
2. Aceto, L., Fokkink, W., Verhoef, C.: Structural operational semantics. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, Chap. 3, pp. 197–292. Elsevier, Amsterdam (2001)
3. Amtoft, T., Nielson, F., Nielson, H.R.: Type and Effect Systems. Imperial College Press, London (1999)
4. Apt, K.R., Plotkin, G.D.: Countable nondeterminism and random assignment. J. ACM 33(4), 724–767 (1986)
5. Baeten, J.C.M., Vaandrager, F.W.: An algebra for process creation. Acta Inf. 29(4), 303–334 (1992).
http://dx.doi.org/10.1007/BF01178776
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献