Title: Logics and models of concurrent systems
Subjects: Congresses, Distributed processing, Electronic data processing, Parallel processing (Electronic computers), Système, Parallelverarbeitung, Concurrence, Systèmes à paramètres répartis, Modélisation, Kongress, Programme concurrent, Logique temporelle, Système réparti, Traitement parallèle, Parallélisme (informatique)