文献
J-GLOBAL ID：200902055581413530   整理番号：81A0188958

一般化したCSP型言語の形式モデル

A formal model of a generalized CSP-like language.
著者 (2件)：
FOLKJAER P

FOLKJAER P について

(Technical Univ. Denmark)

Technical Univ. Denmark について

, 
BJ<span style=text-decoration:overline>O </span>RNER D

BJ<span style=text-decoration:overline>O </span>RNER D について

(Technical Univ. Denmark)

Technical Univ. Denmark について


資料名：
Information Processing 80  (Information Processing 80)

Information Processing 80 について


ページ： 95-99  発行年： 1980年 
JST資料番号： K19810113  ISBN： 0-444-86034-7  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
CSP型言語の一般形を提案し,この言語の正確なセマンティクを...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
言語設計

言語設計 について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ミニコンピュータ

ミニコンピュータ について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=81A0188958&from=J-GLOBAL&jstjournalNo=K19810113") }}
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
汎用プログラミング言語 
(JD03051H)

汎用プログラミング言語 について

,  システムプログラミング一般 
(JD03010Y)

システムプログラミング一般 について

タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
CSP

CSP について

, 
言語

言語 について

, 
形式モデル

形式モデル について


前のページに戻る

TOP

BOTTOM