An edition of Compositionality, concurrency, and partial correctness (1989)
Compositionality, concurrency, and partial correctness
proof theories for networks of processes and their relationship
By J. Zwiers
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1989
Publisher
Springer-Verlag
Language
eng
Pages
272
Description:
subjects: Automatic theorem proving, Parallel processing (Electronic computers), Décomposition programme, Compositionnalité, TNP, Théorèmes, DNP, Processus communicant, Modularité, Parallélisme (informatique), Correction programme, Complétude, Démonstration automatique, Preuve programme, Réseau processus, Partiell korrektes Programm, Programmverifikation, Dekomposition, Nebenläufigkeit