Skip to content

A Higher Order Modal Fixed Point Logic.

Mahesh Viswanathan, Ramesh Viswanathan

VenueBCONCUR
Year2004
ProceedingsCONCUR

Browse the full CONCUR paper archive.