Modeling Timed Concurrent Systems using Generalized Ultrametrics

Abstract

Timed concurrent systems are 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, which are sets of (semantically) time… (More)

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Liu2006ModelingTC, title={Modeling Timed Concurrent Systems using Generalized Ultrametrics}, author={Xiaojun Liu and Eleftherios Matsikoudis and Edward A. Lee}, year={2006} }