More than 5 years have passed since last update.

[SyncStitch]TimedCSP"Wait[t]"

Scheme

Last updated at 2014-04-17Posted at 2014-04-17

Timed CSPで追加定義されるプロセスを自前で作る。

Wait.ss

; Definitions
(define-event ti)

; Wait
(define-process (Wait t)
  (if (> t 0)
      (! ti (Wait (- t 1)))
      (! ti SKIP)))

(define-process Test (Wait 5))

You get articles that match your needs
You can efficiently read back useful information
You can use dark theme

What you can do with signing up