Skip to contents

Rittgen, Peter [Author]

Prozeßtheorie der Ablaufplanung : algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit

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
Fokkink, Willem J. [Author] ; Fokkink, Wan [Other]

Introduction to process algebra : with 11 figures and 11 tables

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
Mertsiotakis, Vassilios [Author]

Approximate analysis methods for stochastic process algebras

Close

Bookmarks

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

1998
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
Kempf, Peter [Author]

Sequential and parallel functions as processes

Close

Bookmarks

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

1994
Hermanns, Holger [Author]

Interactive Markov chains : and the quest for quantified quality

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 ; 2428
Frauenstein, Thomas [Author]

Funktionale Prozeßsprachen höherer Ordnung

Close

Bookmarks

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

1997
Ponse, Alban [Editor]; Verhoef, C. [Other]; Vlijmen, S. Van [Other] ; Algebra of communicating processes 1, 1994, Utrecht, The Netherlands, Workshop on the Algebra of Communicating Processes 1 1994 Utrecht

Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994

Close

Bookmarks

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

London; Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Workshops in Computing
Hoare, Charles A. R. [Author]

Communicating sequential processes

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
Bergstra, J.A [Other]; Bergstra, Jan A. [Editor]; Ponse, Alban [Other]; Smolka, Scott A. [Other]

Handbook of process algebra - [1st ed]

Close

Bookmarks

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

Amsterdam [u.a.]: Elsevier, 2001
Stirling, Colin [Author]; Stirling, Colin P. [Author]

Modal and temporal properties of processes

Close

Bookmarks

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

New York; Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Texts in computer science
Li, Chunping [Author]

Reasoning about processes and continuous change : analysis and implementation - [Als Ms. gedr.]

Close

Bookmarks

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

Aachen: Shaker, 1999

Published in: Berichte aus der Informatik
Burkart, Olaf [Author]

Automatic verification of sequential infinite state processes

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 ; 1354
Eijck, Jan van [Editor]

Logic and information flow

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
Aceto, Luca [Author]

Action refinement in process algebras

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
Baeten, Josephus C. M. [Author]; Weijland, W. P. [Author]

Process algebra

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
Katoen, Joost-Pieter [Editor]; König, Barbara [Other] ; CONCUR 22 2011 Aachen

CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings

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 ; 6901
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

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

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

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

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