Zum Inhalt springen

Hoare, Charles A. R. [VerfasserIn]

Communicating sequential processes

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Prentice-Hall International series in computer science
Katoen, Joost-Pieter [HerausgeberIn]; König, Barbara [Sonstige Person, Familie und Körperschaft] ; CONCUR 22 2011 Aachen

CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6901
Bravetti, Mario [HerausgeberIn]; Zavattaro, Gianluigi [Sonstige Person, Familie und Körperschaft] ; CONCUR 20 2009 Bologna

CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5710
Gastin, Paul [HerausgeberIn]; Laroussinie, François [Sonstige Person, Familie und Körperschaft] ; CONCUR 21 2010 Paris

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6269
Breugel, Franck van [Sonstige Person, Familie und Körperschaft]; @Cherchik, Marsha [Sonstige Person, Familie und Körperschaft]; Breugel, Frank van [HerausgeberIn] ; CONCUR 19 2008 Toronto

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5201
Baier, Christel [HerausgeberIn]; Hermanns, Holger [Sonstige Person, Familie und Körperschaft] ; CONCUR 17 2006 Bonn

CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27 - 30, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4137
Caires, Luís [HerausgeberIn]; Vasconcelos, Vasco T. [Sonstige Person, Familie und Körperschaft] ; CONCUR 18 2007 Lissabon

CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 4703
Amadio, Roberto M. [HerausgeberIn] ; CONCUR 14 2003 Marseille

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2761
Gardner, Philippa [HerausgeberIn] ; CONCUR 15 2004 London

CONCUR 2004 - Concurrency theory : 15th international conference, London, UK, August 31 - September 3, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 3170
Abadi, Martín [HerausgeberIn] ; CONCUR 16 2005 San Francisco, Calif

CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23 - 26, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 3653
Brim, Luboš [HerausgeberIn] ; CONCUR 13 2002 Brünn

Concurrency theory : 13th international conference, Brno, Czech Republic, August 20 - 23, 2002 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2421
Palamidessi, Catuscia [HerausgeberIn] ; CONCUR 11 2000 State College, Pa

Concurrency theory : 11th international conference, University Park, PA, USA, August 22 - 25, 2000 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1877
Larsen, Kim G. [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn] ; CONCUR 12 2001 Ålborg

Concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 2154
Baeten, Josephus C. M. [Sonstige Person, Familie und Körperschaft]; Baeten, Jos C. M. [HerausgeberIn] ; CONCUR 10 1999 Eindhoven

CONCOUR9̉9, concurrency theory : 10th international conference ; Eindhoven, The Netherlands, August 24 - 27, 1999 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1664
Mazurkiewicz, Antoni [HerausgeberIn] ; CONCUR 8 1997 Warschau

CONCUR '97: concurrency theory : 8th International Conference, Warsaw, Poland, July 1 - 4, 1997; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1243
Sangiorgi, Davide [HerausgeberIn] ; CONCUR 9 1998 Nizza

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1466
Rakow, Thomas [VerfasserIn]

Semantische Concurrency Control in objektorientierten Datenbanksystemen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Wien: Oldenbourg, 1997

Erschienen in: GMD-Forschungszentrum Informationstechnik: GMD-Bericht ; 284
Ribeiro, Leila [VerfasserIn]

Parallel composition and unfolding semantics of graph grammars

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1996
Lee, Insup [HerausgeberIn] ; CONCUR 6 1995 Philadelphia, Pa

CONCUR '95: Concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 962
Jonsson, Bengt [HerausgeberIn] ; CONCUR 5 1994 Uppsala

Concurrency theory / CONCUR '94 : 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 836

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr