Title: Compositionality, concurrency, and partial correctness
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