palvaro

#lang racket
(require redex)
(define-language Blazes
  (ex stream
      ('apply component ex)
      ('combine ex ex ex ...)
      )
  (stream 'Async 'Taint ('NDRead label))
  ;(component (order op label) (order op))
  (component (order op label))

palvaro

module BFSClientProtocol
  state do
    interface input, :request, [:reqid] => [:rtype, :arg]
    interface output, :response, [:reqid] => [:status, :response]
  end
end

module BFSClientMasterProtocol
  state do
    channel :request_msg, [:@master, :source, :reqid, :rtype, :args]