3540673989
Berlin Heidelberg u.a.: Springer
XI, 378 S graph. Darst 24 cm.
Literaturverz. S. 363 - 368
Parallel processing (Electronic computers); Computer science -- Mathematics; Petri nets; Petri-Box; Nebenläufigkeit; Prozessalgebra; Operationale Semantik; Algebraische Rekursionstheorie; Invariantentheorie; Petri-Netz Oberbegriff allgemein; Invariante Verwandter Begriff; Formale Semantik Oberbegriff allgemein; Paralleler Prozess Verwandter Begriff; Nebenläufigkeit Verwandter Begriff; Prozessalgebra Verwandter Begriff; Nichtsequentielle Programmierung Verwandter BegriffPetri-BoxNebenläufigkeitProzessalgebraOperationale SemantikAlgebraische RekursionstheorieInvariantentheorieInvarianteRekursionstheorieFormale SemantikParalleler ProzessNichtsequentielle ProgrammierungPetri-Netz
Monographs in theoretical computer science
Monographs in theoretical computer science
inf 534
Englisch