TIC: A TImed Calculus

Juan Quemada, David de Frutos-Escrig, Arturo Azcorra. TIC: A TImed Calculus. Formal Asp. Comput., 5(3):224-252, 1993.

Possibly Related Publications

The following publications are possibly variants of this publication: