Comparative semantics for a real-time programming language with integration
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Denotational semantics in the cpo and metric approach
Theoretical Computer Science
Interval and point-based approaches to hybrid system verification
Interval and point-based approaches to hybrid system verification
Strictly causal functions have a unique fixed point
Theoretical Computer Science
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
Networks of Real-Time Processes
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Hybrid Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
A topological characterization of random sequences
Information Processing Letters
Approximate Reasoning for Real-Time Probabilistic Processes
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Semantic foundation of the tagged signal model
Semantic foundation of the tagged signal model
On the causality of mixed-signal and hybrid models
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
Modeling and analyzing real-time multiprocessor systems
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
On fixed points of strictly causal functions
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
On the verification of timed discrete-event models
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
An axiomatization of the theory of generalized ultrametric semilattices of linear signals
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
Hi-index | 0.00 |
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description languages), discrete-event simulation, and modeling of communication networks. They consist of concurrent components that communicate using timed signals, that is, sets of (semantically) time-stamped events. The denotational semantics of such systems is traditionally formulated in a metric space, wherein causal components are modeled as contracting functions. We show that this formulation excessively restricts the models of time that can be used. In particular, it cannot handle super-dense time, commonly used in hardware description languages and hybrid systems modeling, finite time lines, and time with no origin. Moreover, if we admit continuous-time and mixed signals (essential for hybrid systems modeling) or certain Zeno signals, then causality is no longer equivalent to its formalization in terms of contracting functions. In this paper, we offer an alternative semantic framework using a generalized ultrametric that overcomes these limitations.