Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Interleave doesn't handle ✓ events correctly

#6

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.

Reported by Douglas Creager · April 28th, 2008 @ 01:34 PM

State: resolved
Milestone: 1.0-α2
Assigned to: Douglas Creager Douglas Creager

Activity

  1. Douglas Creager
    Douglas Creager
    • 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]

    http://github.com/dcreager/hst/c...

    April 28th, 2008 @ 01:46 PM

  2. Douglas Creager
    Douglas Creager
    • Milestone set to 1.0-α2

    April 28th, 2008 @ 01:47 PM

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.