Underspecification for process algebras

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
Technical Reports ; TR-2000-007

Schlagwort
Spezifikation ; Funktionale Semantik

Ereignis
Veröffentlichung
(wo)
Mannheim
(wer)
Universitätsbibliothek Mannheim
(wann)
2000
Urheber
Majster-Cederbaum, Mila

URN
urn:nbn:de:bsz:180-madoc-18398
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:42 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Majster-Cederbaum, Mila
  • Universitätsbibliothek Mannheim

Entstanden

  • 2000

Ähnliche Objekte (12)

Infinite possible worlds for process algebras

Infinite possible worlds for process algebras

Approximate analysis methods for stochastic process algebras

Hochschulschrift

Approximate analysis methods for stochastic process algebras

Approximate analysis methods for stochastic process algebras

Hochschulschrift

Approximate analysis methods for stochastic process algebras

Modular specification of process algebras

Modular specification of process algebras

L1-algebras [L-algebras] and Segal algebras

L1-algebras [L-algebras] and Segal algebras

Vertex Algebras and Factorization Algebras

Vertex Algebras and Factorization Algebras

C*-algebras and W*-algebras

C*-algebras and W*-algebras

C*-algebras and W*-algebras

C*-algebras and W*-algebras

Level Zero Types and Hecke Algebras for Local Central Simple Algebras

Level Zero Types and Hecke Algebras for Local Central Simple Algebras

Superrigidity for group operator algebras

zweidimensionales bewegtes Bild

Superrigidity for group operator algebras

Obstruction theory for operadic algebras

Hochschulschrift

Obstruction theory for operadic algebras

Additivity theorem for Poisson algebras

zweidimensionales bewegtes Bild

Additivity theorem for Poisson algebras

Verbundene Objekte