| Keyword : LOTOS
|
On Optimization in Composition of Concurrent Formal Specifications Bhed Bahadur BISTA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A
No. 11 ;
pp. 2905-2908
Type of Manuscript:
Special Section LETTER (Special Section on Concurrent Systems and Hybrid Systems)
Category: Keyword: formal specification, FDT, LOTOS, combining processes, intermediate processes, | | Summary | Full Text:PDF | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|