A Temporal Approach to Algebraic Specifications.

Yulin Feng, Junbo Liu

Browse the full CONCUR paper archive.