Art
J-GLOBAL ID：200902062081209844   Reference number：91A0784170

Compositionality and bisimulation: A negative result.

構成可能性とバイシミュレーション 否定的結果
Author (3)：
FANTECHI A

About FANTECHI A

(Inst. Elaborazione dell’Informazione, C.N.R, Pisa, ITA)

About Inst. Elaborazione dell’Informazione, C.N.R, Pisa, ITA

, 
GNESI S

About GNESI S

(Inst. Elaborazione dell’Informazione, C.N.R, Pisa, ITA)

About Inst. Elaborazione dell’Informazione, C.N.R, Pisa, ITA

, 
RISTORI G

About RISTORI G

(Consorzio Pisa Ricerche, Pisa, ITA)

About Consorzio Pisa Ricerche, Pisa, ITA


Material：
Information Processing Letters  (Inf Process Lett)

About Information Processing Letters


Volume： 39  Issue： 2  Page： 109-114  Publication year： Jul. 31, 1991 
JST Material Number： E0513A  ISSN： 0020-0190  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.
temporal logic

About temporal logic

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

About Theory of computation

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
可能性

About 可能性

, 
バイシミュレーション

About バイシミュレーション


Return to Previous Page

TOP

BOTTOM