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.

Abstract

Abstract is missing.