Specifying realtime finite-state systems in linear logic (1998)

by M I Kanovich, M Okada, A Scedrov
Venue:In 2nd International Workshop on Constraint Programming for Time-Critical Applications andMulti-Agent Systems (COTIC ’98), volume 16 of Electronic Notes in Theoretical Computer Science