! syntax for prefix operator
Reported by Douglas Creager | April 12th, 2009 @ 01:16 PM | in 1.0-α5
In a prefix process, you can use a ! instead of a
. to specify a particular event for a complex channel.
For instance, in
channel a: {0..5}
P = a!1 -> P
Q = a.1 -> Q
P and Q are equivalent.
No comments found
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.
Douglas Creager