Skip to contents Hoare, Charles A. R. [Author] Communicating sequential processes Books 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 Fokkink, Willem J. [Author] ; Fokkink, Wan [Other] Introduction to process algebra : with 11 figures and 11 tables Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Texts in theoretical computer science- An EATCS series Baeten, Josephus C. M. [Author]; Weijland, W. P. [Author] Process algebra Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge; New York$Port Chester; Melbourne; Sydney: Cambridge University Press, 1990 Published in: Cambridge tracts in theoretical computer science ; 18 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 Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Jacquet, Jean-Marie [Editor] Conclog: a methodological approach to concurrent logic programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1991 Published in: Lecture notes in computer science ; 556 Klabnik, Steve [Author]; Nichols, Carol [Author] The Rust programming language - [2nd edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. San Francisco: No Starch Press, [2023] Ertel, Sebastian [Author] ; Technische Universität Dresden Towards implicit parallel programming for systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, [2019?] 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 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 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 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 Amadio, Roberto M. [Editor] ; CONCUR 14 2003 Marseille CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3 - 5, 2003 ; proceedings Books 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 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 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 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 Rakow, Thomas [Author] Semantische Concurrency Control in objektorientierten Datenbanksystemen Books 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 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 ; . 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 Sangiorgi, Davide [Editor] ; CONCUR 9 1998 Nizza Concurrency theory : 9th international conference, Nice, France, September 8 - 11, 1998 ; proceedings Books 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 Institute of Electrical and Electronics Engineers IEEE concurrency Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Los Alamitos, Calif.: Soc., 1997-2000 / 5.1997 - 8.2000; damit Ersch. eingest. Hüsener, Thomas [Author] Entwurf komplexer Echtzeitsysteme : state of the art Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1994 Published in: Angewandte Informatik ; 1100
Hoare, Charles A. R. [Author] Communicating sequential processes Books 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
Fokkink, Willem J. [Author] ; Fokkink, Wan [Other] Introduction to process algebra : with 11 figures and 11 tables Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Texts in theoretical computer science- An EATCS series
Baeten, Josephus C. M. [Author]; Weijland, W. P. [Author] Process algebra Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge; New York$Port Chester; Melbourne; Sydney: Cambridge University Press, 1990 Published in: Cambridge tracts in theoretical computer science ; 18
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 Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999
Jacquet, Jean-Marie [Editor] Conclog: a methodological approach to concurrent logic programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1991 Published in: Lecture notes in computer science ; 556
Klabnik, Steve [Author]; Nichols, Carol [Author] The Rust programming language - [2nd edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. San Francisco: No Starch Press, [2023]
Ertel, Sebastian [Author] ; Technische Universität Dresden Towards implicit parallel programming for systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, [2019?]
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 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
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 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
Amadio, Roberto M. [Editor] ; CONCUR 14 2003 Marseille CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3 - 5, 2003 ; proceedings Books 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
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
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
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
Rakow, Thomas [Author] Semantische Concurrency Control in objektorientierten Datenbanksystemen Books 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
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 ; .
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
Sangiorgi, Davide [Editor] ; CONCUR 9 1998 Nizza Concurrency theory : 9th international conference, Nice, France, September 8 - 11, 1998 ; proceedings Books 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
Institute of Electrical and Electronics Engineers IEEE concurrency Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Los Alamitos, Calif.: Soc., 1997-2000 / 5.1997 - 8.2000; damit Ersch. eingest.
Hüsener, Thomas [Author] Entwurf komplexer Echtzeitsysteme : state of the art Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1994 Published in: Angewandte Informatik ; 1100
> Media type Skip to next facet Books (484) Wert ausschließen Thesis (45) Wert ausschließen Electronic Resources (13) Wert ausschließen Articles (11) Wert ausschließen Journals / Newspapers / Series (4) Wert ausschließen Conference Proceedings (3) Wert ausschließen Videos (3) Wert ausschließen Images (3) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (36) Wert ausschließen Stack Collection (173) Wert ausschließen Ask for availability (5) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (181) Wert ausschließen Central Library (35) 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 (54) Wert ausschließen In Copyright (8) Wert ausschließen Attribution (CC BY) (3) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (3) Wert ausschließen Attribution - No Derivs (CC BY-ND) (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (188) Wert ausschließen Restricted Access (2) Wert ausschließen Without Specification (171) Wert ausschließen Show more show less
> Language Skip to next facet English (463) Wert ausschließen German (103) Wert ausschließen No linguistic content (3) Wert ausschließen Not determined (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (427) Wert ausschließen Mathmatics (134) Wert ausschließen Technology (24) Wert ausschließen Economics (11) Wert ausschließen General sciences (3) Wert ausschließen Geography (3) Wert ausschließen Geology and paleontology (3) Wert ausschließen Art and art history (3) Wert ausschließen Musicology (2) Wert ausschließen Physics (2) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (1) Wert ausschließen General (1) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Medicine (1) Wert ausschließen Psychology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Bakker, Jacobus W. de (9) Wert ausschließen Majster-Cederbaum, Mila (8) Wert ausschließen Rozenberg, Grzegorz (8) Wert ausschließen Meyer, Bertrand (7) Wert ausschließen Nierstrasz, Oscar (7) Wert ausschließen Vogler, Walter (7) Wert ausschließen Weikum, Gerhard (7) Wert ausschließen Baeten, Josephus C. M. (6) Wert ausschließen Best, Eike (6) Wert ausschließen Ciancarini, Paolo (6) Wert ausschließen Hermanns, Holger (6) Wert ausschließen Mattern, Friedemann (6) Wert ausschließen Mitchell, John C. (6) Wert ausschließen Montanari, Ugo (6) Wert ausschließen Niehren, Joachim (6) Wert ausschließen Roever, Willem-Paul de (6) Wert ausschließen Sabel, David (6) Wert ausschließen Widmayer, Peter (6) Wert ausschließen Agha, Gul (5) Wert ausschließen Desel, Jörg (5) Wert ausschließen Hutchison, David (5) Wert ausschließen Institute of Electrical and Electronics Engineers (5) Wert ausschließen Jenner, Lars (5) Wert ausschließen Kanade, Takeo (5) Wert ausschließen Kittler, Josef (5) Wert ausschließen Kleinberg, Jon (5) Wert ausschließen Meseguer, José (5) Wert ausschließen Naor, Moni (5) Wert ausschließen Pandu Rangan, C. (5) Wert ausschließen Schmidt-Schauß, Manfred (5) Wert ausschließen Steffen, Bernhard (5) Wert ausschließen Sudan, Madhu (5) Wert ausschließen Terzopoulos, Demetri (5) Wert ausschließen Tygar, Doug (5) Wert ausschließen Vardi, Moshe Y. (5) Wert ausschließen Zimmermann, Wolf (5) Wert ausschließen Alonso, Gustavo (4) Wert ausschließen Baeten, Jos C. M. (4) Wert ausschließen Gardner, Philippa (4) Wert ausschließen Gert Smolka (4) Wert ausschließen Gross, Thomas (4) Wert ausschließen Lauer, Peter E. (4) Wert ausschließen Liu, Zhiming (4) Wert ausschließen Roman, Gruia-Catalin (4) Wert ausschließen Romanovsky, Alexander (4) Wert ausschließen Wattenhofer, Roger (4) Wert ausschließen Yonezawa, Akinori (4) Wert ausschließen Zavattaro, Gianluigi (4) Wert ausschließen Baier, Christel (3) Wert ausschließen Brookes, Stephen D. (3) Wert ausschließen Dony, Christophe (3) Wert ausschließen Dreschler-Fischer, Leonie (3) Wert ausschließen Ertel, Sebastian (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 Jacquet, Jean-Marie (3) Wert ausschließen Jaffar, Joxan (3) Wert ausschließen Katoen, Joost-Pieter (3) Wert ausschließen Kossmann, Donald (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 Malkis, Alexander (3) Wert ausschließen Maurer, Christian (3) Wert ausschließen Meinecke, Ingmar (3) Wert ausschließen Moldt, Daniel (3) Wert ausschließen Moller, Faron (3) Wert ausschließen Müller, Peter (3) Wert ausschließen Nicola, Rocco (3) Wert ausschließen Pnueli, Amir (3) Wert ausschließen Reif, Wolfgang (3) Wert ausschließen Reisig, Wolfgang (3) Wert ausschließen Roscoe, Timothy (3) Wert ausschließen Schenkel, Ralf (3) Wert ausschließen Schulte, Christian (3) Wert ausschließen Schwinghammer, Jan (3) Wert ausschließen Thiemann, Peter (3) Wert ausschließen Tokoro, Mario (3) Wert ausschließen Uhlig, Carl (3) Wert ausschließen Ullenboom, Christian (3) Wert ausschließen Vasconcelos, Vasco T. (3) Wert ausschließen Yakovlev, Alex (3) Wert ausschließen Zwiers, Job (3) Wert ausschließen Abadi, Martín (2) Wert ausschließen Aceto, Luca (2) Wert ausschließen Agha, Gul A. (2) Wert ausschließen Ahmad, Morad (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 Barthe, Gilles (2) Wert ausschließen Baumann, Christoph (2) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (413) Wert ausschließen BASE - Bielefeld Academic Search Engine (107) Wert ausschließen ETH Zürich Research Collection (56) Wert ausschließen Lizenzfreie Online-Ressourcen (43) Wert ausschließen Diss online (39) Wert ausschließen Augsburg University Publication Server (OPUS) (10) Wert ausschließen Publication Server of Goethe University Frankfurt am Main (7) Wert ausschließen Scientific publications of the Saarland University (UdS) (7) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (5) Wert ausschließen Hamburg University, Department of Informatics: INFDok (3) Wert ausschließen SLUB/Deutsche Fotothek Arthistoricum (3) Wert ausschließen SLUB/Deutsche Fotothek Fotos (3) Wert ausschließen ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) (3) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (2) Wert ausschließen University of Freiburg: FreiDok (2) Wert ausschließen University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv) (2) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (2) Wert ausschließen noah.nrw (2) Wert ausschließen Eldorado - Repositorium der TU Dortmund (1) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (1) Wert ausschließen Münster University (WWU): miami (1) Wert ausschließen OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg (1) Wert ausschließen OPUS publication server of the Brandenburg University of Applied Sciences (THB) (1) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (1) Wert ausschließen Passau University: OPUS (1) Wert ausschließen Qucosa (1) Wert ausschließen REPOSIT HAW Hamburg (1) Wert ausschließen TU Braunschweig: LeoPARD - Publications And Research Data (1) Wert ausschließen Universitätsbibliothek Paderborn: Digitale Sammlungen (1) Wert ausschließen Show more show less