Termination in Timed Process Algebra (2000)

Cached

Download Links

by J.C.M. Baeten , M.A. Reniers
Venue:Formal Aspects of Computing
Citations:155 - 25 self

Document Versions

Termination in Timed Process Algebra –J.C.M. Baeten, M.A. Reniers — 2000 — Formal Aspects of Computing
Termination in Timed Process Algebra –J.C.M. Baeten, M.A. Reniers — 2000 — Formal Aspects of Computing