Strictly causal functions have a unique fixed point-Reference-Cited by-同舟云学术

Strictly causal functions have a unique fixed point

Published:2000-05 Issue:1-2 Volume:238 Page:483-488
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Naundorf Holger

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference8 articles.

1. J.W. de Bakker, J.I. Zucker, Processes and the denotational semantics of concurrency, Inform. and Control 54 (1982).

2. A model for mobile point-to-point data-flow networks without channel sharing;Grosu,1996

3. A framework for comparing models of computation;Lee;IEEE Transactions on CAD,1998

4. O. Müller, P. Scholz, Specification of real-time and hybrid systems in focus, Technical Report TUM-I9627, Technische Universität München, June 1996.

5. H. Naundorf, A general model for object based systems, in: Workshop on Object-Oriented Programming and Models of Concurrency with the 16th International Conference on Application and Theory of Petri Nets, 1995, pp. 1–14.

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

1. A Semantic Model for Interacting Cyber-Physical Systems;Electronic Proceedings in Theoretical Computer Science;2021-10-02

2. Toward an algebraic theory of systems;Theoretical Computer Science;2018-11

3. The fixed-point theory of strictly causal functions;Theoretical Computer Science;2015-04

4. The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices;Electronic Proceedings in Theoretical Computer Science;2013-08-28

5. An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals;Fundamentals of Computation Theory;2013