Applications of process algebra
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Pr.
1990
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
17 |
| Schlagworte: |
Algebra
> Calcul formel
> Computerwiskunde
> Informatique - Mathématiques
> Machines séquentielles, Théorie des
> Parallélisme (Informatique) - Mathématiques
> Parallélisme (informatique)
> Protocoles de réseaux d'ordinateurs
> abstraction
> algèbre processus
> processus concurrent
> Informatik
> Mathematik
> Axiomatic set theory
> Computer network protocols
> Computer science
> Mathematics
> Kommunikation
> Prozessalgebra
> Prozesskommunikation
> Algebraische Modelltheorie
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Literaturangaben |
|---|---|
| Beschreibung: | IX, 317 S. graph. Darst. |
| ISBN: | 0521400287 0-521-40028-7 |