Modeling Distributed Processes with Local Time
-
- Satoh Ichiro
- Keio University.
-
- Tokoro Mario
- Keio University:Sony Computer Science Laboratory Inc.
Bibliographic Information
- Other Title
-
- 分散計算のための局所時間性に基づく形式系
- ブンサン ケイサン ノ タメ ノ キョクショ ジカンセイ ニ モトズク ケイシ
Search this article
Description
<p></p>
Journal
-
- Computer Software
-
Computer Software 11 (2), 2_112-2_124, 1994-03-15
Japan Society for Software Science and Technology
- Tweet
Details 詳細情報について
-
- CRID
- 1390845713016127744
-
- NII Article ID
- 130007505047
- 110003743796
-
- NII Book ID
- AN10075819
-
- NDL BIB ID
- 3859049
-
- ISSN
- 02896540
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- NDL
- CiNii Articles
-
- Abstract License Flag
- Disallowed
