The following pages link to Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination (Q4917024):
Displayed 1 item.