Presentation | 1999/1/23 How to apply behavioural semantics to concurrent distributed systems Michihiro Matsumoto, Kokichi Futatsugi, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Concurrent distributed systems are constructed from many objects and are excuted through the communications between these objects.So, we must address the delay of these communications. For the solution, we introduce membership behavioural semantics and it's refinement theory. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Algebraic specification / behavioural semantics / refinement / concurrent distributed system |
Paper # | SS98-50 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1999/1/23(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 | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | How to apply behavioural semantics to concurrent distributed systems |
Sub Title (in English) | |
Keyword(1) | Algebraic specification |
Keyword(2) | behavioural semantics |
Keyword(3) | refinement |
Keyword(4) | concurrent distributed system |
1st Author's Name | Michihiro Matsumoto |
1st Author's Affiliation | Research Center, PFU Limited() |
2nd Author's Name | Kokichi Futatsugi |
2nd Author's Affiliation | Graduate School of Information Science, Japan Advanced Institute of Science and Technology |
Date | 1999/1/23 |
Paper # | SS98-50 |
Volume (vol) | vol.98 |
Number (no) | 559 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |