Strictly causal functions have a unique fixed point

DOI10.1016/S0304-3975(99)00165-6zbMath0944.68121MaRDI QIDQ1575267

H. Naundorf

Publication date: 21 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

unique fixed pointdenotational semanticsstrictly causaltimed system

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

CPO semantics of timed interactive actor networks, The fixed-point theory of strictly causal functions, Toward an algebraic theory of systems, A generalization of Naundorf's fixpoint theorem

Cites Work

• Processes and the denotational semantics of concurrency