Investigations of Back and Forth Bisimulations on Prime Event Structures

Bibliographic Details
Main Author:	Cherief, Ferroudja (Author)
Format:	Article
Language:	Slovak English
Subjects:	expertné systémy paralelizmus (kyb.) sémantika (mat.) bisimulácie články z novín a časopisov

Similar Items