IPSJ SIGNotes Programming Language No.017 - 002

IPSJ SIGNotes  

Uchihira Naoshi, Fujihara Mutumi, Iijima Tadashi, (1988) Uchihira Naoshi, Fujihara Mutumi, Iijima Tadashi, Honiden Shinichi "Concurrent progamming language's using Petri net and Temporal Logic"