A Metric Approach to Control Flow Semantics-Reference-Cited by-同舟云学术

A Metric Approach to Control Flow Semantics

Published:1996-12 Issue:1 Papers on Gen Volume:806 Page:11-27
ISSN:0077-8923
Container-title:Annals of the New York Academy of Sciences
language:en
Short-container-title:Ann NY Acad Sci

Author:

BAKKER J.W.,VINK E.P.

Publisher

Wiley

Subject

History and Philosophy of Science,General Biochemistry, Genetics and Molecular Biology,General Neuroscience

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1111/j.1749-6632.1996.tb49156.x/fullpdf

Reference13 articles.

1. Sur la représentation des fonctions discontinues

2. 2. M.M. Bonsangue, F. Breugel, and J.J.M.M. Rutten, 1995 . Alexandroff and Scott topologies for generalized ultrametric spaces . Technical Report IR-394. Vrije Universiteit, Amsterdam.

3. 3. M.M. Bonsangue, 1996 . Topological Dualities in Semantics. Ph.D. Thesis , Vrije Universiteit, Amsterdam.

4. 5. F. Breugel, 1995 . A theory of metric labelled transition systems . Technical Report SOCS-95.6. McGill University, Montreal.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On quasi-metric aggregation functions and fixed point theorems;Fuzzy Sets and Systems;2013-10

2. Petri Nets and Discrete Events Systems;Advances in Abstract Intelligence and Soft Computing;2013

3. Notes on “Modeling the dynamics of concurrent computing systems”;Computers & Mathematics with Applications;2012-08

4. Modeling the dynamics of concurrent computing systems;Computers & Mathematics with Applications;2011-03

5. Hyperspaces of a weightable quasi-metric space: Application to models in the theory of computation;Mathematical and Computer Modelling;2010-09