Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/20 Vol. E77-ANo. 10pp. 1646-1655 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: protocol,
protocol synthesis,
deadlock,
FDT,
LOTOS,