Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 14 von 77
    Datensatz exportieren als...
  • BibTeX
A calculus of distributed and parallel processes
Teubner-Texte zur Informatik : 31 (Alle Bände)
2000
Signatur: TVS1685

Details

Autor(en) / Beteiligte
Titel
A calculus of distributed and parallel processes
Ist Teil von
Ort / Verlag
Stuttgart [u.a.] : Teubner
Erscheinungsjahr
2000
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Literaturverz. S. [305] - 320
Sprache
Englisch
Identifikatoren
ISBN: 3519002930
OCLC-Nummer: 247460137, 247460137
Titel-ID: 990008132130106463
Format
327 S. : graph. Darst.
Systemstelle
TVS
Schlagworte
Transitionssystem, Verteiltes System, Prozess, Algebraische Spezifikation, Formale Sprache, Mathematisches Modell, Kategorientheorie

Lade weitere Informationen...