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 Fokkink, Willem J. [Author] ; Fokkink, Wan [Other] Introduction to process algebra : with 11 figures and 11 tables 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, 2000 Published in: Texts in theoretical computer science- An EATCS series Baeten, Josephus C. M. [Author]; Weijland, W. P. [Author] Process algebra Books View online Schließen 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 Rittgen, Peter [Author] Prozeßtheorie der Ablaufplanung : algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig: Teubner, 1998 Published in: Teubner-Reihe Wirtschaftsinformatik 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 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 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 Mertsiotakis, Vassilios [Author] Approximate analysis methods for stochastic process algebras Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1998 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 Bergstra, J.A [Other]; Bergstra, Jan A. [Editor]; Ponse, Alban [Other]; Smolka, Scott A. [Other] Handbook of process algebra - [1st ed] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier, 2001 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 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] 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 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 ; .
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
Fokkink, Willem J. [Author] ; Fokkink, Wan [Other] Introduction to process algebra : with 11 figures and 11 tables 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, 2000 Published in: Texts in theoretical computer science- An EATCS series
Baeten, Josephus C. M. [Author]; Weijland, W. P. [Author] Process algebra Books View online Schließen 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
Rittgen, Peter [Author] Prozeßtheorie der Ablaufplanung : algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig: Teubner, 1998 Published in: Teubner-Reihe Wirtschaftsinformatik
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
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
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
Mertsiotakis, Vassilios [Author] Approximate analysis methods for stochastic process algebras Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1998
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
Bergstra, J.A [Other]; Bergstra, Jan A. [Editor]; Ponse, Alban [Other]; Smolka, Scott A. [Other] Handbook of process algebra - [1st ed] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier, 2001
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
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]
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
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 ; .
> Media type Skip to next facet Books (358) Wert ausschließen Journals / Newspapers / Series (3) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (29) Wert ausschließen Stack Collection (151) Wert ausschließen Ask for availability (5) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (160) Wert ausschließen Central Library (24) Wert ausschließen TU Dresden holdings (3) Wert ausschließen Branch Library of Educationen (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (34) Wert ausschließen Without Specification (149) Wert ausschließen Show more show less
> Language Skip to next facet English (327) Wert ausschließen German (37) Wert ausschließen Not determined (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (239) Wert ausschließen Mathmatics (121) Wert ausschließen Technology (7) Wert ausschließen Economics (4) Wert ausschließen Musicology (2) Wert ausschließen General (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 Majster-Cederbaum, Mila (7) Wert ausschließen Baeten, Josephus C. M. (6) Wert ausschließen Best, Eike (6) Wert ausschließen Hermanns, Holger (6) Wert ausschließen Mitchell, John C. (6) Wert ausschließen Montanari, Ugo (6) Wert ausschließen Nierstrasz, Oscar (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 Kanade, Takeo (5) Wert ausschließen Kittler, Josef (5) Wert ausschließen Kleinberg, Jon (5) Wert ausschließen Mattern, Friedemann (5) Wert ausschließen Naor, Moni (5) Wert ausschließen Pandu Rangan, C. (5) Wert ausschließen Roever, Willem-Paul de (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 Weikum, Gerhard (5) Wert ausschließen Baeten, Jos C. M. (4) Wert ausschließen Gardner, Philippa (4) Wert ausschließen Lauer, Peter E. (4) Wert ausschließen Liu, Zhiming (4) Wert ausschließen Meseguer, José (4) Wert ausschließen Roman, Gruia-Catalin (4) Wert ausschließen Romanovsky, Alexander (4) Wert ausschließen Zavattaro, Gianluigi (4) Wert ausschließen Baier, Christel (3) Wert ausschließen Ciancarini, Paolo (3) Wert ausschließen Dony, Christophe (3) Wert ausschließen Godefroid, Patrice (3) Wert ausschließen Guessarian, Irène (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 Meyer, Bertrand (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 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 Yonezawa, Akinori (3) Wert ausschließen Zimmermann, Wolf (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 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 Banieqbal, Behnam (2) Wert ausschließen Barkaoui, Kamel (2) Wert ausschließen Barthe, Gilles (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 Bruni, Roberto (2) Wert ausschließen Burkart, Olaf (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 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 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 Devillers, Raymond (2) Wert ausschließen Donatelli, Susanna (2) Wert ausschließen Drossopoulou, Sophia (2) Wert ausschließen Ertel, Sebastian (2) Wert ausschließen European Conference on Object Oriented Programming 5. 1991 Genf (2) Wert ausschließen Ferreira, Fernando (2) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (359) Wert ausschließen Lizenzfreie Online-Ressourcen (30) Wert ausschließen Diss online (2) Wert ausschließen Qucosa (1) Wert ausschließen Show more show less