"modélisation." . . "School-Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 ; Nordwijkerhout)." . . . "Ordinateurs Programmation." . . "School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)" . . . "logique temporelle." . . "School/Workshop on linear time, branching time and partial order in logics and models for concurrency (1988, May 30 - June 3 : Noordwijkerhout, The Netherlands)" . . . "Parallelverarbeitung" . . "Parallelverarbeitung." . "REX." . . "Computer Communication Networks." . . "Przetwarzanie równoległe (informatyka) konferencje." . . "conception technique simultanée logique mathématique [congrès]" . . "Przetwarzanie rozproszone konferencje." . . "Programmation parrallèle (Informatique)" . . "Nebenläufigkeit." . . "Nebenläufigkeit" . "Mathematisches Modell" . . "Mathematisches Modell." . "parallélisme." . . "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 il 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 : [REX]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"@en . . . "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"@en . . . . . . "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" . . . . . . . . . . "\"This volume is based on the \"School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency\" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.''--Publisher's website." . . "Kongress" . . . "This volume is based on the \"School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency\" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions."@en . . "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"@en . . . . . "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" . . . . . "Electronic resources (Books)" . "Linear time, branching time and partial order in logics and models for concurrency : School/Workshop" . . "Electronic books"@en . . . . . "Parallelbetrieb." . . "processus branchement." . . "Modalidad (Lógica) Congresos." . . "Electronic data processing Distributed processing." . . "School/workshop on linear time, branching time and partial order in logics and models for concurrency (30-05/03-06-1988 : Noordwijkerhout)" . . . "Research and Education in Concurrent Systems School/Workshop 1988 : Noordwijkerhout, Netherland." . . . "Programmation parallèle (Informatique)" . . "Congressi - Noordwijkerhout - 1988." . . "concurrence." . . "Elaboratori elettronici - Programmazione - Congressi - 1988." . . "Noordwijkerhout." . . "Kongress" . . "Informatique." . . "Traitement réparti." . . . . "Parallel processing (Electronic computers)" . . "Parallélisme (Informatique)" . .