A logical approach for specification and execution of concurrent real-time systems

We present a declarative logic programming based language for concurrent real time programming. In the language, the time requirements and safety properties of programs can be explicitly stated as temporal constraints. This provides great advantages in writing concurrent real time systems and manipulating them while presenting correctness. The language has a procedural interpretation that allows the specification to be executed, also concurrently. The language is sufficiently high level to simulate several practical concurrent programming paradigms, and can act as kernel language in a concurrent real time object oriented framework