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