A. A. Aaby

According to our database, A. A. Aaby authored at least 3 papers between 1986 and 1988.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1988

Specification of Real-Time Systems in Real-Time Temporal Interval Logic.

K. T. Narayana, A. A. Aaby

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

Propositional Temporal Interval Logic is PSPACE Complete.

A. A. Aaby, K. T. Narayana

Proceedings of the 9th International Conference on Automated Deduction, 1988

1986

A Distributed Implementation Scheme for Communicating Processes.

A. A. Aaby, K. T. Narayana

Proceedings of the International Conference on Parallel Processing, 1986