Presentation | 1994/3/9 A support environment for developping or utilizing concurrent process calculi Sen Yoshida, Atsushi Togashi, Norio Shiratori, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | A process calculus is a Formal Description Technique dealing with the behavior of multi agents.In the literature,many process calculi have been developed,and their interpreters have been made. In general,making such interpreters may take much effort and that has disturbed developing process calculi.For that reason,we have constructed an integrated support environment for developping or utilizing process calculi.In this paper,we propose a Language of Concurrent process Calculi,LCC which can describe syntax and transition rules of process calculi.We also describe the outline of ProCSuS,a Process Calculus Support System which interprets LCC and investigates operational semantics of the calculus. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | process calculus / operational semantics / transition relation / support environment |
Paper # | COMP93-85,SS93-53 |
Date of Issue |
Conference Information | |
Committee | COMP |
---|---|
Conference Date | 1994/3/9(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 | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A support environment for developping or utilizing concurrent process calculi |
Sub Title (in English) | |
Keyword(1) | process calculus |
Keyword(2) | operational semantics |
Keyword(3) | transition relation |
Keyword(4) | support environment |
1st Author's Name | Sen Yoshida |
1st Author's Affiliation | Research Institute of Electrical Communication,Tohoku University() |
2nd Author's Name | Atsushi Togashi |
2nd Author's Affiliation | Research Institute of Electrical Communication,Tohoku University |
3rd Author's Name | Norio Shiratori |
3rd Author's Affiliation | Research Institute of Electrical Communication,Tohoku University |
Date | 1994/3/9 |
Paper # | COMP93-85,SS93-53 |
Volume (vol) | vol.93 |
Number (no) | 496 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |