Compositionality, concurrency and partial correctness. Proof teories for networks of processing and their relationship

Podrobná bibliografia
Hlavní autori: Hromkovič, Juraj, 1958- (Autor), Zwiers, Job (Autor)
Médium: Článok
Jazyk:angličtina
Predmet: