Art
J-GLOBAL ID:200902212477432009
Reference number:07A0594588
Structured CSP-A Process Algebra as an Institution
構造化CSP-制度としてのプロセス代数
Author (2):
,
Material:
Volume:
4409
Page:
92-110
Publication year:
2007
JST Material Number:
H0078D
ISSN:
0302-9743
Document type:
Proceedings
Country of issue:
Germany, Federal Republic of (DEU)
Language:
ENGLISH (EN)
Terms in the title (4):
Terms in the title
Keywords automatically extracted from the title.
,
,
,
Return to Previous Page