Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/20
Vol. E76-A
No. 10
pp. 1580-1590
Type of Manuscript: Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design)
Category:
Keyword:
Petri net,
process algebra,
CCS,
LOTOS,
user interface management system,
|
