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

Bibliographic Details
Main Authors:	Hromkovič, Juraj, 1958- (Author), Zwiers, Job (Author)
Format:	Article
Language:	English
Subjects:	programy počítačové paralelné články z novín a časopisov

Similar Items