Investigations of Back and Forth Bisimulations on Prime Event Structures

Bibliographic Details
Main Author:	Cherief, Ferroudja (Author)
Format:	Article
Language:	Slovak English
PhysicalDescription:	Obr. 11, lit. 17 zázn. v angl.
ISSN:	0232-0274
Subjects:	expertné systémy paralelizmus (kyb.) sémantika (mat.) bisimulácie články z novín a časopisov

Similar Items