Skip to contents Hoare, Charles A. R. [Author] Communicating sequential processes Books 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 Books 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] Books 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 Books 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 Books 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 Books 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 Books 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 Rakow, Thomas [Author] Semantische Concurrency Control in objektorientierten Datenbanksystemen Books 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 Ribeiro, Leila [Author] Parallel composition and unfolding semantics of graph grammars Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1996 Ertel, Sebastian [Author] ; Technische Universität Dresden Towards implicit parallel programming for systems Books 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 Books 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 Books 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 Books 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] Books 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 Books 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 Books 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 Books 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 Books 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] Books 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1986
Hoare, Charles A. R. [Author] Communicating sequential processes Books 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 Books 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] Books 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 Books 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 Books 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 Books 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 Books 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
Rakow, Thomas [Author] Semantische Concurrency Control in objektorientierten Datenbanksystemen Books 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
Ribeiro, Leila [Author] Parallel composition and unfolding semantics of graph grammars Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1996
Ertel, Sebastian [Author] ; Technische Universität Dresden Towards implicit parallel programming for systems Books 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 Books 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 Books 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 Books 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] Books 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 Books 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 Books 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 Books 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 Books 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] Books 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1986
> Media type Skip to next facet Books (358) Wert ausschließen Thesis (9) Wert ausschließen Electronic Resources (4) Wert ausschließen Journals / Newspapers / Series (3) Wert ausschließen Conference Proceedings (2) Wert ausschließen Videos (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (26) Wert ausschließen Stack Collection (141) Wert ausschließen Ask for availability (5) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (152) Wert ausschließen Central Library (21) Wert ausschließen TU Dresden holdings (4) Wert ausschließen Branch Library of Educationen (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright - Non-commercial Use Permitted (15) Wert ausschließen Attribution - No Derivs (CC BY-ND) (3) Wert ausschließen In Copyright (2) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (62) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (148) Wert ausschließen Show more show less
> Language Skip to next facet English (337) Wert ausschließen German (43) Wert ausschließen Not determined (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (362) Wert ausschließen Mathmatics (196) Wert ausschließen Technology (18) Wert ausschließen Economics (5) Wert ausschließen General sciences (2) Wert ausschließen Musicology (2) Wert ausschließen General (1) Wert ausschließen Philosophy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Bakker, Jacobus W. de (9) Wert ausschließen Rozenberg, Grzegorz (8) Wert ausschließen Best, Eike (6) Wert ausschließen Ciancarini, Paolo (6) Wert ausschließen Majster-Cederbaum, Mila (6) Wert ausschließen Meyer, Bertrand (6) Wert ausschließen Nierstrasz, Oscar (6) Wert ausschließen Agha, Gul (5) Wert ausschließen Desel, Jörg (5) Wert ausschließen Institute of Electrical and Electronics Engineers (5) Wert ausschließen Mattern, Friedemann (5) Wert ausschließen Meseguer, José (5) Wert ausschließen Mitchell, John C. (5) Wert ausschließen Roever, Willem-Paul de (5) Wert ausschließen Weikum, Gerhard (5) Wert ausschließen Baeten, Josephus C. M. (4) Wert ausschließen Gardner, Philippa (4) Wert ausschließen Hutchison, David (4) Wert ausschließen Kanade, Takeo (4) Wert ausschließen Kittler, Josef (4) Wert ausschließen Kleinberg, Jon (4) Wert ausschließen Lauer, Peter E. (4) Wert ausschließen Liu, Zhiming (4) Wert ausschließen Montanari, Ugo (4) Wert ausschließen Naor, Moni (4) Wert ausschließen Pandu Rangan, C. (4) Wert ausschließen Roman, Gruia-Catalin (4) Wert ausschließen Romanovsky, Alexander (4) Wert ausschließen Steffen, Bernhard (4) Wert ausschließen Sudan, Madhu (4) Wert ausschließen Terzopoulos, Demetri (4) Wert ausschließen Tygar, Doug (4) Wert ausschließen Vardi, Moshe Y. (4) Wert ausschließen Yonezawa, Akinori (4) Wert ausschließen Zavattaro, Gianluigi (4) Wert ausschließen Baeten, Jos C. M. (3) Wert ausschließen Baier, Christel (3) Wert ausschließen Brookes, Stephen D. (3) Wert ausschließen Dony, Christophe (3) Wert ausschließen Ertel, Sebastian (3) Wert ausschließen Gert Smolka (3) Wert ausschließen Godefroid, Patrice (3) Wert ausschließen Guessarian, Irène (3) Wert ausschließen Henz, Martin (3) Wert ausschließen IEEE Computer Society (3) Wert ausschließen Jaffar, Joxan (3) Wert ausschließen Katoen, Joost-Pieter (3) Wert ausschließen Kramer, Jeff (3) Wert ausschließen Lea, Douglas (3) Wert ausschließen Lee, Insup (3) Wert ausschließen Magee, Jeff (3) Wert ausschließen Maurer, Christian (3) Wert ausschließen Moller, Faron (3) Wert ausschließen Müller, Martin Ludwig (3) Wert ausschließen Müller, Peter (3) Wert ausschließen Nicola, Rocco (3) Wert ausschließen Pnueli, Amir (3) Wert ausschließen Sabel, David (3) Wert ausschließen Schulte, Christian (3) Wert ausschließen Tokoro, Mario (3) Wert ausschließen Vasconcelos, Vasco T. (3) Wert ausschließen Vogler, Walter (3) Wert ausschließen Yakovlev, Alex (3) Wert ausschließen Zimmermann, Wolf (3) Wert ausschließen Zwiers, Job (3) Wert ausschließen Abadi, Martín (2) Wert ausschließen Agha, Gul A. (2) Wert ausschließen Akl, Selim G. (2) Wert ausschließen Arbab, Farhad (2) Wert ausschließen Asian Computing Science Conference 1 1995 Pathum Thani (2) Wert ausschließen Asian Computing Science Conference 2 1996 Singapur (2) Wert ausschließen Bakker, J.W.de (2) Wert ausschließen Balser, Michael (2) Wert ausschließen Banieqbal, Behnam (2) Wert ausschließen Barkaoui, Kamel (2) Wert ausschließen Brauer, Wilfried (2) Wert ausschließen Bravetti, Mario (2) Wert ausschließen Brim, Luboš (2) Wert ausschließen British Computer Society Specialist Group in Formal Aspects of Computing Science (2) Wert ausschließen CONCUR 1 1990 Amsterdam (2) Wert ausschließen CONCUR 15 2004 London (2) Wert ausschließen CONCUR 2 1991 Amsterdam (2) Wert ausschließen CONCUR 3 1992 Stony Brook, NY (2) Wert ausschließen CONCUR 4 1993 Hildesheim (2) Wert ausschließen CONCUR 5 1994 Uppsala (2) Wert ausschließen CONCUR 6 1995 Philadelphia, Pa (2) Wert ausschließen CONCUR 7 1996 Pisa (2) Wert ausschließen Castagna, Giuseppe (2) Wert ausschließen Castrillon, Jeronimo (2) Wert ausschließen Cavalcanti, Ana (2) Wert ausschließen Cerone, Antonio (2) Wert ausschließen Choffrut, Christian (2) Wert ausschließen Clarke, Dave (2) Wert ausschließen Cleaveland, Walter R. (2) Wert ausschließen Corrodi, Claudio (2) Wert ausschließen Cortadella, Jordi (2) Wert ausschließen Cortesi, Agostino (2) Wert ausschließen Dams, Dennis (2) Wert ausschließen De Nicola, Rocco (2) Wert ausschließen Degano, Pierpaolo (2) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (347) Wert ausschließen Lizenzfreie Online-Ressourcen (30) Wert ausschließen BASE - Bielefeld Academic Search Engine (23) Wert ausschließen ETH Zürich Research Collection (16) Wert ausschließen Diss online (7) Wert ausschließen Abschlussarbeiten der TU Dresden (5) Wert ausschließen Publication Server of Goethe University Frankfurt am Main (3) Wert ausschließen Qucosa (3) Wert ausschließen Scientific publications of the Saarland University (UdS) (3) Wert ausschließen Augsburg University Publication Server (OPUS) (1) Wert ausschließen Show more show less