| Presentation | 1994/3/10 有限なロケーションを持つ並行プロセス Fabio Casablanca, Toshiki Sakabe, Yasuyoshi Inagaki, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | One of the aspects neglected by a interleaving concurrency is the spatial distribution of the computation. Approaches which have dealt so far with this problem assume the availability of an infinite number of sites where to perform actions or suppose that the spatial structure of a process is known before its execution. In this paper we present a model where,coherently with the reality of concurrency,processes are extended with managers of finite sets of spatial resources(locations).The managers assign locations to agents,if any is available,and collect locations which are eventually released.Release of locations is modelled explicitly by a special action ρ (release).An operational semantic s is proposed for this extension. Also,we suggest that managers can ask for and receive locations from other managers.For this purpose we introduce and discuss a lazy bidirectional location transfer policy. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | PROCESS ALGEBRA / PROCESS SPACE / LOCATIONS / OPERATIONAL SEMANTICS / LOCATION TRANSFER POLICY |
| Paper # | COMP93-89,SS93-57 |
| Date of Issue |
| Conference Information | |
| Committee | COMP |
|---|---|
| Conference Date | 1994/3/10(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Theoretical Foundations of Computing (COMP) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | |
| Sub Title (in English) | |
| Keyword(1) | PROCESS ALGEBRA |
| Keyword(2) | PROCESS SPACE |
| Keyword(3) | LOCATIONS |
| Keyword(4) | OPERATIONAL SEMANTICS |
| Keyword(5) | LOCATION TRANSFER POLICY |
| 1st Author's Name | Fabio Casablanca |
| 1st Author's Affiliation | Faculty of Engineering,Nagoya University() |
| 2nd Author's Name | Toshiki Sakabe |
| 2nd Author's Affiliation | Faculty of Engineering,Nagoya University |
| 3rd Author's Name | Yasuyoshi Inagaki |
| 3rd Author's Affiliation | Faculty of Engineering,Nagoya University |
| Date | 1994/3/10 |
| Paper # | COMP93-89,SS93-57 |
| Volume (vol) | vol.93 |
| Number (no) | 497 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |