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 Keine Ergebnisse!