A new equivalence for processes with timing: with an application to protocol verification

J.C.M. Baeten, C.A. Middelburg, M.A. Reniers

Research output: Book/Report › Report › Popular

45 Downloads (Pure)

(Logic Group Preprint Series ; 215)

Access to Document

@book{0959f64e44a042daad9763855556c34e,

title = "A new equivalence for processes with timing: with an application to protocol verification",

author = "J.C.M. Baeten and C.A. Middelburg and M.A. Reniers",

note = "(Logic Group Preprint Series ; 215)",

year = "2000",

language = "English",

series = "Logic Group Preprint Series",

publisher = "Utrecht University",

address = "Netherlands",

}