Skip to content

Instantly share code, notes, and snippets.

@kencoba

kencoba/Definition

Created April 2, 2014 01:49
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kencoba/9926627 to your computer and use it in GitHub Desktop.
Save kencoba/9926627 to your computer and use it in GitHub Desktop.
Download ZIP
[SyncStitch]プロセスの逐次合成 ref: http://qiita.com/kencoba/items/fb650eb1bee05660266b
Raw
Definition
(define-event a)
(define-event b)
(define-event c)
Raw
SYS
(define-process S
(seq P Q))
(define-process P
(alt (! a SKIP)
(! b STOP)))
(define-process Q
(! c SKIP))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment