Skip to contents

Rettelbach, Michael [Author]

Stochastische Prozessalgebren mit zeitlosen Aktivitäten und probabilistischen Verzweigungen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1996
Hehn, Uwe [Author] ; Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) Erlangen

Modellierung und Spezifikation am Beispiel des Nachrichtentransports in verteilten Systemen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Erlangen: Institut für Mathematische Maschinen und Datenverarbeitung (Informatik), 1988

Published in: Institut für Mathematische Maschinen und Datenverarbeitung (Informatik): Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) ; 21,6
Institute of Electrical and Electronics Engineers

IEEE concurrency

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]

Objektorientierter Entwurf von nebenläufigen, verteilten und echtzeitfähigen Softwaresystemen

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg; Berlin; Oxford: Spektrum, Akad. Verl., 1995

Published in: Forschung in der Softwaretechnik
Smith, Einar [Author] ; Universität Hamburg, Universität Hamburg Fakultät für Mathematik, Informatik und Naturwissenschaften, Universität Hamburg Fachbereich Informatik

Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1989

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 180
Strack, Veronika [Author]

Zur Semantik graphbasierter Modellierungsmethoden

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, 1990

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 186
Letschert, Thomas [Author]

Nebenläufige und verteilte Programme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Logos-Verl., 1998
Vogler, Walter [Author]

Modular construction and partial order semantics of Petri nets

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, 1992

Published in: Lecture notes in computer science ; 625
Fokkink, Willem J. [Author]

Modelling distributed systems : with 7 tables

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, 2007

Published in: Texts in theoretical computer science : an EATCS series
De Meuter, Wolfgang [Other]; Roman, Gruia-Catalin [Other]; Meuter, Wolfgang de [Editor] ; International Conference on Coordination Models and Languages 13 2011 Reykjavík

Coordination models and languages : 13th international conference, coordination 2011, Reykjavik, Iceland, June 6 - 9, 2011 ; proceedings

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, 2011

Published in: Lecture notes in computer science ; 6721
Desel, Jörg [Editor] ; Advanced Course on Petri Nets 4 2003 Eichstätt

Lectures on concurrency and Petri nets : advances in Petri nets

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, 2004

Published in: Lecture notes in computer science ; 3098
Stein, Wolfgang [Author]

Objektorientierte Analyse für nebenläufige Systeme : die Methode MORE/RT

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim [u.a.]: BI-Wiss.-Verl., 1995

Published in: Forschung in der Softwaretechnik ; 2
Romanovsky, Alexander [Editor] ; ECOOP 14 2000 Sophia Antipolis; Cannes

Advances in exception handling techniques

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, 2001

Published in: Lecture notes in computer science ; 2022
Herrtwich, Ralf Guido [Author]; Hommel, Günter [Author]

Nebenläufige Programme - [2. Aufl.]

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, 1994

Published in: Springer-Lehrbuch
Arbab, Farhad [Editor] ; International Conference on Coordination Models and Languages 5 2002 York

Coordination models and languages : 5th international conference ; proceedings

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, 2002

Published in: Lecture notes in computer science ; 2315
Porto, António [Editor]; Roman, Gruia-Catalin [Other] ; International Conference on Coordination Models and Languages 4 2000 Limassol

Coordination languages and models : proceedings

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: Lecture notes in computer science ; 1906
Garlan, David [Editor] ; International Conference on Coordination Models and Languages 2 1997 Berlin

Coordination languages and models : Second International Conference, Coordination '97, Berlin, Germany, September 1 - 3, 1997; proceedings

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, 1997

Published in: Lecture notes in computer science ; 1282
Clarke, Dave [Editor]; Agha, Gul [Other] ; International Conference on Coordination Models and Languages 12 2010 Amsterdam

Coordination models and languages : 12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings

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 ; 6116
Bacon, Jean [Author]

Concurrent systems : an integrated approach to operating systems, database and distributed systems - [1. printed, reprint]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wokingham, England [u.a.]: Addison-Wesley, 1993

Published in: International computer science series
Herrtwich, Ralf Guido [Author]; Hommel, Günter [Author] ; Herrtwich, Ralf Guido [Other]; Hommel, Günter [Other]

Kooperation und Konkurrenz : nebenläufige, verteilte und echtzeitabhängige Programmsysteme

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York; London: Springer-Verlag, 1989

Published in: Studienreihe Informatik

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication