Home > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
Book Informaton
Author
Jacobus W. de Bakker; Willem-Paul de Roever; Grzegorz Rozenberg
Series
Lecture Notes in Computer Science
Volume
354
Year of Publication
1989
Publisher
Springer Berlin Heidelberg
Pages
X, 718
Language
en
ISBN
9783540510802, 9783540461470, 354051080X
ARI Id
1665030051816
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 23 entries
Chapters/Headings | Author(s) | Pages | Info |
1-49 | |||
50-122 | |||
123-172 | |||
173-200 | |||
201-284 | |||
285-363 | |||
364-397 | |||
398-410 | |||
411-427 | |||
428-437 | |||
438-466 | |||
467-488 | |||
489-507 | |||
508-522 | |||
523-548 | |||
549-573 | |||
574-602 | |||
603-627 | |||
628-659 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 23 entries
Topics
Parallel processing (Electronic computers) Distributed processing Electronic data processing REX Programmation Parallélisme Concurrence Logique temporelle Modélisation Parallélisme (Informatique) Programmation parrallèle (Informatique) Ordinateurs Processus branchement Traitement réparti Nebenläufigkeit