Klaus Havelund, Kim Guldstrand Larsen. The Fork Calculus. In Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson, editors, Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Volume 700 of Lecture Notes in Computer Science, pages 544-557, Springer, 1993.
Abstract is missing.