Art

J-GLOBAL ID：200902135714985757   Reference number：96A0760193

Deriving protocol specifications from service specifications written in LOTOS.

LOTOSで記述されたサービス仕様からのプロトコル仕様の導出

Author (3)： KANT C (Univ. Montr<span style=text-decoration:overline>e ́</span>al, Qu<span style=text-decoration:overline>e ́</span>bec, CAN) ,  HIGASHINO T (Univ. Montr<span style=text-decoration:overline>e ́</span>al, Qu<span style=text-decoration:overline>e ́</span>bec, CAN) ,  V BOCHMANN G (Univ. Montr<span style=text-decoration:overline>e ́</span>al, Qu<span style=text-decoration:overline>e ́</span>bec, CAN)
Material： Distributed Computing
Volume： 10  Issue： 1  Page： 29-47  Publication year： Jul. 1996 
JST Material Number： D0974B  ISSN： 0178-2770  Document type： Article
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Thesaurus term： formal description ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=96A0760193&from=J-GLOBAL&jstjournalNo=D0974B") }}

JST classification (2)： Theory of computation  (JB02000A) ,  Digital computer systems in general  (JC02010O)

Terms in the title (6)： LOTOS ,  記述 ,  サービス ,  仕様 ,  プロトコル ,  導出