{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:QA6HCS3V4AREGT3OM5FZXAZ35V","short_pith_number":"pith:QA6HCS3V","canonical_record":{"source":{"id":"1709.02440","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-04T06:27:28Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"1e578d907051c98cb758c2088ebd770f124393642d1b6e6a6b25565bf7d514ac","abstract_canon_sha256":"c86e94a512519dcfdb6c0dc912741c1d6ddba07a6c1cc7158f5acdf4c43a4f7c"},"schema_version":"1.0"},"canonical_sha256":"803c714b75e022434f6e674b9b833bed41d53edff309836b3f26f4f0fbd5cc9e","source":{"kind":"arxiv","id":"1709.02440","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.02440","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"arxiv_version","alias_value":"1709.02440v1","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.02440","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"pith_short_12","alias_value":"QA6HCS3V4ARE","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"QA6HCS3V4AREGT3O","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"QA6HCS3V","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:QA6HCS3V4AREGT3OM5FZXAZ35V","target":"record","payload":{"canonical_record":{"source":{"id":"1709.02440","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-04T06:27:28Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"1e578d907051c98cb758c2088ebd770f124393642d1b6e6a6b25565bf7d514ac","abstract_canon_sha256":"c86e94a512519dcfdb6c0dc912741c1d6ddba07a6c1cc7158f5acdf4c43a4f7c"},"schema_version":"1.0"},"canonical_sha256":"803c714b75e022434f6e674b9b833bed41d53edff309836b3f26f4f0fbd5cc9e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:45.797424Z","signature_b64":"5CPkKBCQjPlrRiY5IBlA74sRd/9C890Eg5HlC2Az2z3o90B4YQ/WSor+w4V9jaZA9RUSIn+XVA9O1XH4LqtABQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"803c714b75e022434f6e674b9b833bed41d53edff309836b3f26f4f0fbd5cc9e","last_reissued_at":"2026-05-18T00:35:45.796872Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:45.796872Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.02440","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:35:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1J39UoY9yeJubdZPHXEDovu+FMm5jfv6oUeda2czX9WSU3r1Ht0Z06UsRunvW7SlMS7rOjPX6dK95VWzL7WVCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T01:17:23.487381Z"},"content_sha256":"e81d69b2c65036f49d900bf4d2ce196326911ecb407ae456f5a4867f8e95c696","schema_version":"1.0","event_id":"sha256:e81d69b2c65036f49d900bf4d2ce196326911ecb407ae456f5a4867f8e95c696"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:QA6HCS3V4AREGT3OM5FZXAZ35V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Bas Luttik (Eindhoven University of Technology), Fei Yang (Eindhoven University of Technology), Jos Baeten (CWI, University of Amsterdam)","submitted_at":"2017-09-04T06:27:28Z","abstract_excerpt":"The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence. Due to transparency, the correspondence between context-free and pushdown processes fails modulo bisimilarity, and it is not clear how to specify an always terminating half counter. We propose a revised operational semantics for the sequential composition operator in the context of intermediate termination.  With the revised operational semantics, we eliminate transparency, allowing us to establish a close corres"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.02440","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:35:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wxehF2PQpmoLNtIVi7HdVQHFpKybj4/m3YYLY3ObeaeaBT//g7d+L774biGFvfUuhY8b56GQQ1UE7POAndrPDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T01:17:23.488190Z"},"content_sha256":"c861cd5e5dbdc19e29abbc6e8ab6ce74bce9dd3ab2c3a661ff7450f97c745b67","schema_version":"1.0","event_id":"sha256:c861cd5e5dbdc19e29abbc6e8ab6ce74bce9dd3ab2c3a661ff7450f97c745b67"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QA6HCS3V4AREGT3OM5FZXAZ35V/bundle.json","state_url":"https://pith.science/pith/QA6HCS3V4AREGT3OM5FZXAZ35V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QA6HCS3V4AREGT3OM5FZXAZ35V/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-30T01:17:23Z","links":{"resolver":"https://pith.science/pith/QA6HCS3V4AREGT3OM5FZXAZ35V","bundle":"https://pith.science/pith/QA6HCS3V4AREGT3OM5FZXAZ35V/bundle.json","state":"https://pith.science/pith/QA6HCS3V4AREGT3OM5FZXAZ35V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QA6HCS3V4AREGT3OM5FZXAZ35V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:QA6HCS3V4AREGT3OM5FZXAZ35V","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c86e94a512519dcfdb6c0dc912741c1d6ddba07a6c1cc7158f5acdf4c43a4f7c","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-04T06:27:28Z","title_canon_sha256":"1e578d907051c98cb758c2088ebd770f124393642d1b6e6a6b25565bf7d514ac"},"schema_version":"1.0","source":{"id":"1709.02440","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.02440","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"arxiv_version","alias_value":"1709.02440v1","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.02440","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"pith_short_12","alias_value":"QA6HCS3V4ARE","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"QA6HCS3V4AREGT3O","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"QA6HCS3V","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:c861cd5e5dbdc19e29abbc6e8ab6ce74bce9dd3ab2c3a661ff7450f97c745b67","target":"graph","created_at":"2026-05-18T00:35:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence. Due to transparency, the correspondence between context-free and pushdown processes fails modulo bisimilarity, and it is not clear how to specify an always terminating half counter. We propose a revised operational semantics for the sequential composition operator in the context of intermediate termination.  With the revised operational semantics, we eliminate transparency, allowing us to establish a close corres","authors_text":"Bas Luttik (Eindhoven University of Technology), Fei Yang (Eindhoven University of Technology), Jos Baeten (CWI, University of Amsterdam)","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-04T06:27:28Z","title":"Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.02440","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:e81d69b2c65036f49d900bf4d2ce196326911ecb407ae456f5a4867f8e95c696","target":"record","created_at":"2026-05-18T00:35:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c86e94a512519dcfdb6c0dc912741c1d6ddba07a6c1cc7158f5acdf4c43a4f7c","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-04T06:27:28Z","title_canon_sha256":"1e578d907051c98cb758c2088ebd770f124393642d1b6e6a6b25565bf7d514ac"},"schema_version":"1.0","source":{"id":"1709.02440","kind":"arxiv","version":1}},"canonical_sha256":"803c714b75e022434f6e674b9b833bed41d53edff309836b3f26f4f0fbd5cc9e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"803c714b75e022434f6e674b9b833bed41d53edff309836b3f26f4f0fbd5cc9e","first_computed_at":"2026-05-18T00:35:45.796872Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:45.796872Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5CPkKBCQjPlrRiY5IBlA74sRd/9C890Eg5HlC2Az2z3o90B4YQ/WSor+w4V9jaZA9RUSIn+XVA9O1XH4LqtABQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:45.797424Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.02440","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e81d69b2c65036f49d900bf4d2ce196326911ecb407ae456f5a4867f8e95c696","sha256:c861cd5e5dbdc19e29abbc6e8ab6ce74bce9dd3ab2c3a661ff7450f97c745b67"],"state_sha256":"ca12beaff3038bd3f221c66382610577952d65ebf13fa7a0982ccee96e085252"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"571/9q5tmNOrxvZHdVU/JADF8INg6rbhdiuV+6P11XJ8E/UCCRUg0vZUGVFnkBd3+nzTjTpvQQoFABz6RsC2DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T01:17:23.491160Z","bundle_sha256":"442ed27a0487830a6688d89ff1d269c7289cac23fb13ae192a477925b0c2114d"}}