Skip to contents Frauenstein, Thomas [Author] Funktionale Prozeßsprachen höherer Ordnung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1997 Ciancarini, Paolo [Editor] ; ECOOP 8 1994 Bologna, Workshop on Models and Languages for Coordination of Parallelism and Distribution 1994 Bologna Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 924 Baum-Waidner, Birgit [Author] Entwurf von byzantinischen Übereinstimmungsprotokollen mit minimaler Nachrichtenzahl im fehlerfreien Fall Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe, 1993 Eijck, Jan van [Editor] Logic and information flow Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1994 Published in: Foundations of computing Kempf, Peter [Author] Sequential and parallel functions as processes Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1994 Aceto, Luca [Author] Action refinement in process algebras Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge: Cambridge University Press, 1992 Published in: Distinguished Dissertations in Computer Science Hirschberg, Reiner [Author] Mathematische Modellbildung und Analyse des betriebsmittelbeschränkten Scheduling auf parallelen Maschinen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1992 Published in: Reihe Informatik Zima, Hans [Author] Betriebssysteme : parallele Prozesse - [2. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim [u.a.]: Bibliographisches Institut, 1980 Published in: Reihe Informatik ; 20.1980 Feng, Tse-Yun [Editor] ; Sagamore Computer Conference 3 1974 Raquette Lake, NY Parallel processing : proceedings of the Sagamore Computer Conference, August 20 - 23, 1974 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1975 Published in: Lecture notes in computer science ; 24 Cleary, Stephen [Creator] Concurrency in C# cookbook : [asynchronous, parallel, and multithreaded programming] - [1. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Beijing; Köln [u.a.]: O'Reilly, 2014 Williams, Anthony [Author] C++ concurrency in action : practical multithreading Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Shelter Island, NY: Manning, [2012] Meyer, Bertrand [Editor] ; LASER Summer School on Software Engineering 2008 - 2010 Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy; revised tutorial lectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2012 Published in: Lecture notes in computer science ; 7007 Vogt, Carsten [Author] Nebenläufige Programmierung : ein Arbeitsbuch mit UNIX/Linux und Java ; mit 39 Programmen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Hanser, 2012 Müller, Peter [Editor] ; LASER Summer School on Software Engineering 2007 - 2008 Advanced lectures on software engineering : LASER Summer School 2007/2008 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 ; 6029 Ziesche, Peter [Author]; Arinir, Doga [Author] Java: nebenläufige & verteilte Programmierung : Konzepte, UML 2-Modellierung, Realisierung in Java - [2. Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Herdecke; Witten: W3L-Verlag, 2010 Published in: Informatik Caromel, Denis [Author]; Henrio, Ludovic [Author]; Henrio, Ludivic [Author] A theory of distributed objects : asynchrony - mobility - groups - components Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Springer, 2010 Bravetti, Mario [Editor]; Zavattaro, Gianluigi [Other] ; CONCUR 20 2009 Bologna CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5710 Baier, Christel [Editor]; Hermanns, Holger [Other] ; CONCUR 17 2006 Bonn CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27 - 30, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4137 Gardner, Philippa [Editor] ; CONCUR 15 2004 London CONCUR 2004 - Concurrency theory : 15th international conference, London, UK, August 31 - September 3, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3170 Brim, Luboš [Editor] ; CONCUR 13 2002 Brünn Concurrency theory : 13th international conference, Brno, Czech Republic, August 20 - 23, 2002 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2421
Frauenstein, Thomas [Author] Funktionale Prozeßsprachen höherer Ordnung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1997
Ciancarini, Paolo [Editor] ; ECOOP 8 1994 Bologna, Workshop on Models and Languages for Coordination of Parallelism and Distribution 1994 Bologna Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 924
Baum-Waidner, Birgit [Author] Entwurf von byzantinischen Übereinstimmungsprotokollen mit minimaler Nachrichtenzahl im fehlerfreien Fall Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe, 1993
Eijck, Jan van [Editor] Logic and information flow Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 1994 Published in: Foundations of computing
Kempf, Peter [Author] Sequential and parallel functions as processes Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1994
Aceto, Luca [Author] Action refinement in process algebras Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge: Cambridge University Press, 1992 Published in: Distinguished Dissertations in Computer Science
Hirschberg, Reiner [Author] Mathematische Modellbildung und Analyse des betriebsmittelbeschränkten Scheduling auf parallelen Maschinen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1992 Published in: Reihe Informatik
Zima, Hans [Author] Betriebssysteme : parallele Prozesse - [2. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim [u.a.]: Bibliographisches Institut, 1980 Published in: Reihe Informatik ; 20.1980
Feng, Tse-Yun [Editor] ; Sagamore Computer Conference 3 1974 Raquette Lake, NY Parallel processing : proceedings of the Sagamore Computer Conference, August 20 - 23, 1974 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1975 Published in: Lecture notes in computer science ; 24
Cleary, Stephen [Creator] Concurrency in C# cookbook : [asynchronous, parallel, and multithreaded programming] - [1. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Beijing; Köln [u.a.]: O'Reilly, 2014
Williams, Anthony [Author] C++ concurrency in action : practical multithreading Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Shelter Island, NY: Manning, [2012]
Meyer, Bertrand [Editor] ; LASER Summer School on Software Engineering 2008 - 2010 Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy; revised tutorial lectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2012 Published in: Lecture notes in computer science ; 7007
Vogt, Carsten [Author] Nebenläufige Programmierung : ein Arbeitsbuch mit UNIX/Linux und Java ; mit 39 Programmen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Hanser, 2012
Müller, Peter [Editor] ; LASER Summer School on Software Engineering 2007 - 2008 Advanced lectures on software engineering : LASER Summer School 2007/2008 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 ; 6029
Ziesche, Peter [Author]; Arinir, Doga [Author] Java: nebenläufige & verteilte Programmierung : Konzepte, UML 2-Modellierung, Realisierung in Java - [2. Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Herdecke; Witten: W3L-Verlag, 2010 Published in: Informatik
Caromel, Denis [Author]; Henrio, Ludovic [Author]; Henrio, Ludivic [Author] A theory of distributed objects : asynchrony - mobility - groups - components Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Springer, 2010
Bravetti, Mario [Editor]; Zavattaro, Gianluigi [Other] ; CONCUR 20 2009 Bologna CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5710
Baier, Christel [Editor]; Hermanns, Holger [Other] ; CONCUR 17 2006 Bonn CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27 - 30, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4137
Gardner, Philippa [Editor] ; CONCUR 15 2004 London CONCUR 2004 - Concurrency theory : 15th international conference, London, UK, August 31 - September 3, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3170
Brim, Luboš [Editor] ; CONCUR 13 2002 Brünn Concurrency theory : 13th international conference, Brno, Czech Republic, August 20 - 23, 2002 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2421
> 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