Skip to contents

Hoare, Charles A. R. [Author]

Communicating sequential processes

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs, NJ [u.a.]: Prentice-Hall International, 1985

Published in: Prentice-Hall International series in computer science
Maurer, Christian [Author]

Grundzüge der nichtsequentiellen Programmierung : Einführung in die Konzepte der grundlegenden Programmiertechniken für Betriebssysteme, parallele Algorithmen, verteilte Systeme und Datenbanktransaktionen

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999
Klabnik, Steve [Author]; Nichols, Carol [Author]

The Rust programming language - [2nd edition]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

San Francisco: No Starch Press, [2023]
Nestmann, Uwe [Author]

On determinacy and nondeterminacy in concurrent programming = Über Determinismus und Nichtdeterminismus in nebenläufiger Programmierung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1996
Gastin, Paul [Editor]; Laroussinie, François [Other] ; CONCUR 21 2010 Paris

CONCUR 2010 - concurrency theory : 21th international conference, CONCUR 2010, Paris, France, August 31 - September 3, 2010 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6269
Breugel, Franck van [Other]; @Cherchik, Marsha [Other]; Breugel, Frank van [Editor] ; CONCUR 19 2008 Toronto

CONCUR 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5201
Amadio, Roberto M. [Editor] ; CONCUR 14 2003 Marseille

CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3 - 5, 2003 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2761
Ribeiro, Leila [Author]

Parallel composition and unfolding semantics of graph grammars

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1996
Rakow, Thomas [Author]

Semantische Concurrency Control in objektorientierten Datenbanksystemen

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1997

Published in: GMD-Forschungszentrum Informationstechnik: GMD-Bericht ; 284
Ertel, Sebastian [Author] ; Technische Universität Dresden

Towards implicit parallel programming for systems

View online
Schließen

Access

... to E-book via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden, [2019?]
Reissenberger, Wolfgang [Author]

CDL - eine Logik für unendliche nebenläufige Systeme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1998
Hug, Karlheinz [Author]

Faktensysteme : ein vereinheitlichender Modellierungsformalismus für nebenläufige Systeme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1988
Reisig, Wolfgang [Editor]

Lectures on Petri Nets : advances in Petri Nets

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 19XX-

Published in: Lecture notes in computer science ; .
Schmidt, Douglas C. [Other]

Pattern-orientierte Software-Architektur : Muster für nebenläufige und vernetzte Objekte - [Aktualisierte und überarb. Übers., 1. Aufl]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg: dpunkt-Verl., 2002
Schneider, Fred B. [Author]

On concurrent programming

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Berlin; Heidelberg: Springer, 1997

Published in: Graduate texts in computer science
Sangiorgi, Davide [Editor] ; CONCUR 9 1998 Nizza

Concurrency theory : 9th international conference, Nice, France, September 8 - 11, 1998 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1466
Caromel, Denis [Author]; Henrio, Ludovic [Author]; Henrio, Ludivic [Author]

A theory of distributed objects : asynchrony - mobility - groups - components

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg: Springer, 2010
Apt, Krzysztof R. [Editor]

The logic programming paradigm : a 25-year perspective

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Artificial intelligence
Malkhi, Dahlia [Editor]; Lamport, Leslie [Other]

Concurrency : the works of Leslie Lamport - [First edition]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York City, NY: ACM, Association for Computing Machinery, [2019]

Published in: Association for Computing Machinery: ACM books ; 29
Silva Weber, Taisy [Author]; Weber, Taisy Silva [Author]

Erhöhung der Nebenläufigkeit in automatisch entworfenen digitalen Systemen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1986

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication