A timed model for communicating sequential processes
International Colloquium on Automata, Languages and Programming on Automata, languages and programming
Topology, computer science, and the mathematics of convergence
Topology and category theory in computer science
Strictly causal functions have a unique fixed point
Theoretical Computer Science
Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
Metric Spaces as Models for Real-Time Concurrency
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
A Kahn Principle for Networks of Nonmonotonic Real-time Processes
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Applications of Topology to Semantics of Communicating Processes
Seminar on Concurrency, Carnegie-Mellon University
Networks of Real-Time Processes
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Functional Specification of Real-Time and Hybrid Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
Generalized ultrametric spaces in quantitative domain theory
Theoretical Computer Science
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Actors without Directors: A Kahnian View of Heterogeneous Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
On the causality of mixed-signal and hybrid models
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Applications of metric coinduction
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Modeling timed concurrent systems
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
| Hi-index | 0.00 |
We ask whether strictly causal components form well defined systems when arranged in feedback configurations. The standard interpretation for such configurations induces a fixed-point constraint on the function modelling the component involved. We define strictly causal functions formally, and show that the corresponding fixed-point problem does not always have a well defined solution. We examine the relationship between these functions and the functions that are strictly contracting with respect to a generalized distance function on signals, and argue that these strictly contracting functions are actually the functions that one ought to be interested in. We prove a constructive fixed-point theorem for these functions, and introduce a corresponding induction principle.