|
|||||
|
|
A Natural Semantic Framework for ECATNets |
|
| Authors: | F Belala M Bettaz |
| Institution: | (1) Laboratoire LIRE, Université de Constantine, 25000 Constantine, Algeria |
| Abstract: | |
| Keywords: | rewriting logic ECATNets concurrent systems category theory |
| 本文献已被 SpringerLink 等数据库收录！ | |