Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
A modular approach to programming distributed real-time systems
Journal of Parallel and Distributed Computing - Special issue on object-oriented real-time systems
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications
PARLE '91 Proceedings of Parallel Architectures and Languages - Volume II
Occurrence Graphs for Interval Timed Coloured Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Specification of Real-Time Interaction Constraints
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
ATC: Actors with Temporal Constraints
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
An actor-based framework for real-time coordination
An actor-based framework for real-time coordination
A foundation for actor computation
Journal of Functional Programming
A theory of testing for asynchronous concurrent systems
A theory of testing for asynchronous concurrent systems
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Hi-index | 0.00 |
In this paper, we undertake to enhance a general framework for the modeling and validation of real-time concurrent systems which is known as ATC (Actors with Temporal Constraints). To prove that a given system is a valid implementation of its specification, one is often led to decide whether two systems behave in the same manner with respect to a given equivalence relation. In that connection, we propose equivalence relations between systems expressed within the ATC model. As a timed extension of the Actor model, ATC inherits all the functional capabilities of actors and further allows for the expression of most of the temporal constraints pertaining to real-time systems: exceptions, delays and emergencies.