Author:
Pelayo Fernando L.,Valverde Jose C.
Subject
Computational Mathematics,Computational Theory and Mathematics,Modelling and Simulation
Reference5 articles.
1. Modeling dynamics of concurrent computing systems;Guirao;Comput. Math. Appl.,2011
2. A metric approach to control flow semantics;Baker;Ann. New York Acad. Sci.,1996
3. Denotational semantics for programming languages, balanced quasi-metrics and fixed points;Rodriguez-Lopez;Int. J. Comput. Math.,2008
4. On quasi-metric spaces;Wilson;Amer. J. Math.,1931
5. M.V. Foursov, C. Hespel, Weighted Petri nets and polynomial dynamical systems, in: Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, pp. 1539–1546.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献