Presentation | 1997/9/29 An Algorithm to Verify Equivalence and to Detect Errors for Recursive Processes Byung-ho Park, Shigetomo Kimura, Norio Shiratori, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | LOTOS which is one of the FDTs has many strong points such as formal description of the service definitions, other distributed system like telephone switching networks and the protocol specifications. However, it is not used widely, since it is difficult for beginners to learn its mathematical basis. We have already proposed an algorithm which verifies strong equivalence and detects errors between finite processes for LOTOS instruction. In practice, general processes can perform infinite sequences of events or actions. To support such processes in the instruction, this paper expands the algorithm for recursive processes, which are in subset of LOTOS and can express every process that is strong equivalence to each process in LOTOS. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | LOTOS / error detection / simplest LTS / recursive process / strong equivalence / education support environment |
Paper # | CS97-75 |
Date of Issue |
Conference Information | |
Committee | CS |
---|---|
Conference Date | 1997/9/29(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 | Communication Systems (CS) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | An Algorithm to Verify Equivalence and to Detect Errors for Recursive Processes |
Sub Title (in English) | |
Keyword(1) | LOTOS |
Keyword(2) | error detection |
Keyword(3) | simplest LTS |
Keyword(4) | recursive process |
Keyword(5) | strong equivalence |
Keyword(6) | education support environment |
1st Author's Name | Byung-ho Park |
1st Author's Affiliation | Research Institute of Electrical Communication, Tohoku University() |
2nd Author's Name | Shigetomo Kimura |
2nd Author's Affiliation | Institute of Electronics and Information Sciences, University of Tsukuba |
3rd Author's Name | Norio Shiratori |
3rd Author's Affiliation | Research Institute of Electrical Communication, Tohoku University |
Date | 1997/9/29 |
Paper # | CS97-75 |
Volume (vol) | vol.97 |
Number (no) | 297 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |