Complex channels
Reported by Douglas Creager | March 4th, 2009 @ 12:09 AM | in 1.0-α4
Currently you can only define “simple” channels — i.e, those that don't take any data:
channel a, b
P = (a -> P) ||| (b -> P)
We also need to support channels that include data values:
channel a: {0..3}
P(0) = STOP
P(_) = a?x -> P(x)
Comments and changes to this ticket
-
Douglas Creager March 5th, 2009 @ 06:36 PM
- State changed from “new” to “open”
-
Douglas Creager March 29th, 2009 @ 05:18 PM
- State changed from “open” to “resolved”
(from [43b5d5b17fb6bcfc3d983d3fee99b099c0d088cd]) Complex channels
This patch introduces support for complex channels — those which carry data values. The “channel” statement now allows you to specify a data type for a channel:
channel a: {0..2}
This includes infrastructure for creating event names from these compound channels.
Lighthouse: [#22 state:resolved] http://github.com/hst/hst/commit...
-
Douglas Creager March 29th, 2009 @ 05:18 PM
(from [43b5d5b17fb6bcfc3d983d3fee99b099c0d088cd]) Complex channels
This patch introduces support for complex channels — those which carry data values. The “channel” statement now allows you to specify a data type for a channel:
channel a: {0..2}
This includes infrastructure for creating event names from these compound channels.
Lighthouse: [#22 state:resolved] http://github.com/hst/hst/commit...
Please Sign in or create a free account to add a new ticket.
With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.
People watching this ticket
Douglas Creager
Tags
Referenced by
-
22
Complex channels
Lighthouse: [#22 state:resolved]
http://github.com/hst/h...
-
22
Complex channels
Lighthouse: [#22 state:resolved]
http://github.com/hst/h...