An edition of Logics and models of concurrent systems (1985)
Logics and models of concurrent systems
By NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France)
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1985
Publisher
Springer-Verlag
Language
eng
Pages
498
Description:
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)