J
J. Sifakis
Publications - 1
Citations - 286
J. Sifakis is an academic researcher. The author has contributed to research in topics: Bisimulation & Process calculus. The author has an hindex of 1, co-authored 1 publications receiving 285 citations.
Papers
More filters
Journal ArticleDOI
The Algebra of Timed Processes, ATP
X. Nicollin,J. Sifakis +1 more
TL;DR: It is shown that several d-unit delay constructs such as timeouts and watchdogs can be expressed in terms of the unit-delay operator and standard process algebra operators.