Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Theoretical Computer Science
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
Timing Assumptions and Verification of Finite-State Concurrent Systems
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Networks of Real-Time Processes
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Cyclic dependencies in modular performance analysis
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
CPO semantics of timed interactive actor networks
Theoretical Computer Science
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
The earlier the better: a theory of timed actor interfaces
Proceedings of the 14th international conference on Hybrid systems: computation and control
Ten years of analyzing actors: Rebeca experience
Formal modeling
Modeling timed concurrent systems
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
Finite automata with time-delay blocks
Proceedings of the tenth ACM international conference on Embedded software
Hi-index | 0.00 |
Timed discrete-event (DE) is an actor-oriented formalism for modeling timed systems. A DE model is a network of actors consuming/producing timed events from/to a set of input/output channels. In this paper we study a basic DE model, called deterministic DE (DDE), where actors are simple constant-delay components, and two extensions of DDE: NDE, where actors are non-deterministic delays, and DETA, where actors are either deterministic delays or timed automata. We investigate verification questions on DE models and examine expressiveness relationships between the DE models and timed automata.