|
|
Volumn 13, Issue , 1998, Pages 182-
|
|
A fully abstract metric-space denotational semantics for reactive probabilistic processes
a a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
DIFFERENTIATION (CALCULUS);
EQUIVALENCE CLASSES;
MATHEMATICAL MODELS;
MATHEMATICAL OPERATORS;
PROBABILISTIC LOGICS;
PROBABILITY;
COMMUNICATING SEQUENTIAL PROCESSES (CSP);
OPERATIONAL SEMANTICS;
PROBABILISTIC PROCESSES;
PROBABILISTIC TRANSITION SYSTEMS;
SEMANTICS;
|
|
EID: 0012439860
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/S1571-0661(05)80222-1 Document Type: Conference Paper |
|
Times cited : (9)
|
|
References (0)
|