Interleave doesn't handle ✓ events correctly
Reported by Douglas Creager | April 28th, 2008 @ 01:34 PM | in 1.0-α2
The ✓ event must always be part of the synchronization alphabet for any parallel composition, including interleaving. The current interleaving implementation treats ✓ like any other event, instead of synchronizing on it.
Comments and changes to this ticket
-
Douglas Creager April 28th, 2008 @ 01:46 PM
- State changed from “new” to “resolved”
(from [c07efc77da81821cbca65c1df3aba7959bba2e1e]) Interleave now synchronizes on ✓
The ✓ event must always be part of the synchronization alphabet for
any parallel composition, including interleaving. The interface
parallel operator was already correctly synchronizing on ✓, so I've
refactored the interleaving code to simply call the interface parallel
code with an empty synchronization alphabet. (This is similar to
alphabetized parallel, which is also implemented as a call to
interface parallel.) This eliminates some redundant code, and ensures
that all of the parallel composition operators will now have the same
behavior.
Lighthouse: [#6 state:resolved]
-
Douglas Creager April 28th, 2008 @ 01:47 PM
- Milestone set to “1.0-α2”
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