Julian C. Bradfield Sibylle B. Fröschle Independence-Friendly Modal Logic and True Concurrency. 102-117 2002 9 Nord. J. Comput. 1 db/journals/njc/njc9.html#BradfieldF02