Skip to content

Expose parallel behavior on input-only domains #341

Open

Description

@MarcIlunga

Normalize cumulative parallel behavior on the existing parallel input domain. Today this bridge is proved inside bounded typed parallel composition.

Extract the possible-history admission argument into the cumulative owner, preserving every transcript mass, and make the bounded implementation reuse it. Admission agreement is required only at histories of nonzero mass.

Acceptance: the same cumulative parallel behavior carries the input-domain and reply-port certificates needed for attachment; bounded parallel keeps its current behavior and API.

Prerequisite for #319. Depends on #316.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions