Independence-Friendly Modal Logic and True Concurrency

Julian C. Bradfield, Sibylle B. Fröschle. Independence-Friendly Modal Logic and True Concurrency. Nord. J. Comput., 9(1):102-117, 2002.

Possibly Related Publications

The following publications are possibly variants of this publication: