TY  - CHAP
AU  - Llana Díaz, Luis Fernando
AU  - Frutos Escrig, David de
A4  - Betran, Miquel
A4  - Rus, Teodor
PY  - 1997
DO  - 10.1007/3-540-63010-4_25
SN  - 978-3-540-63010-4
UR  - https://hdl.handle.net/20.500.14352/60661
AB  - In this paper we present a denotational semantics for a timed process algebra, which is fully abstract with respect to the must testing semantics previously developed [Lla96,LdFN96]. The domain of semantic processes is made up of consistent sets of...
LA  - eng
M2  - 368
PB  - Springer
TI  - Denotational semantics for timed testing
TY  - book part
ER  -