Distributed Execution of Specifications.

Fri, 01 Jan 1993 00:00:00 +0100

Juan Antonio de la Puente , Alejandro Alonso , Gonzalo León, Juan C. Dueñas:
Distributed Execution of Specifications. Real Time Syst. 5(2-3): 213-234 (1993)