Art
J-GLOBAL ID：200902006891640277   Reference number：92A0069510

An analytic semantics of CSP.

CSPの解析的意味論
Author (3)：
GAO T

About GAO T

(Univ. Tsukuba, Ibaraki, JPN)

About Univ. Tsukuba, Ibaraki, JPN

, 
HOSONO C

About HOSONO C

(Univ. Tsukuba, Ibaraki, JPN)

About Univ. Tsukuba, Ibaraki, JPN

, 
YAMANAKA K

About YAMANAKA K

(NTT Software Lab., Tokyo, JPN)

About NTT Software Lab., Tokyo, JPN


Material：
Fundamenta Informaticae  (Annales Societatis Mathematicae Polonae. Series 4. Fundamenta Informaticae)

About Fundamenta Informaticae


Volume： 15  Issue： 2  Page： 107-122  Publication year： Oct. 1991 
JST Material Number： T0402A  ISSN： 0169-2968  CODEN： FUINE  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
program transformation

About program transformation

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0069510&from=J-GLOBAL&jstjournalNo=T0402A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
CSP

About CSP

, 
解析

About 解析

, 
意味論

About 意味論


Return to Previous Page

TOP

BOTTOM