[B! SyncStitch] kasumaniのブックマーク

kasumani id:kasumani

SyncStitchに関するkasumaniのブックマーク (3)

[SyncStitch]an example of deadlock - Qiita
本日はTopSEセミナーにて、PATツールを使ってCSPを勉強しています。ということで、PATのCSPモデルをSyncStitchのモデルにコンバート。 ; Definitions (define-event setorange) (define-event setlemon) (define-event orange) (define-event lemon) (define-event tomato) ;DrinkDispenser (define-process DD (alt (! setorange O) (! setlemon L))) (define-process O (alt (! orange O) (! setlemon L) (! setorange O) (! tomato STOP))) (define-process L (alt (! lemon L) (
kasumani 2014/04/17
an example of deadlock 本日はTopSEセミナーにて、PATツールを使ってCSPを勉強しています。ということで、PATのCSPモデルをSyncStitchのモデルにコンバート。 Tags: ifttt, kasumaniのストックした投稿 - qiita from Pocket April 17, 2014 at 06:59PM via IF

SyncStitch
リンク
[SyncStitch]TimedCSP"Wait[t]" - Qiita
; Definitions (define-event ti) ; Wait (define-process (Wait t) (if (> t 0) (! ti (Wait (- t 1))) (! ti SKIP))) (define-process Test (Wait 5)) Register as a new user and use Qiita more conveniently You get articles that match your needsYou can efficiently read back useful informationYou can use dark themeWhat you can do with signing up
kasumani 2014/04/17
TimedCSP"Wait[t]" 1 ストック 0 コメントこの投稿をストックする Timed CSPで追加定義されるプロセスを自前で作る。 Wait. Tags: ifttt, kasumaniのストックした投稿 - qiita from Pocket April 17, 2014 at 06:58PM via IFTTT

SyncStitch
リンク
[SyncStitch]trace - Qiita
(define-event on) (define-event off) (define-channel switch-ch (x) '((0)))
kasumani 2014/04/04
trace 1 ストック 0 コメントこの投稿をストックする traceの一番単純な例、ということで。 Definitions (define-event on) (define-event off) (define-channel switch-ch (x) '((0))) SPEC (define-process SPEC (! on (! off SPEC))) SwitchPress (d Tags: ifttt, kasumaniのスト

SyncStitch
リンク
1