State mode analyses of concurrent logic languages - Tick, Evan; Koshimura, Miyuki (1994)