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

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