Labeled @-Calculus: Formalism for Time-Concerned Human Factors.

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio

Browse the full AISC paper archive.