{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:YYOKVEXZAI6RBQ3ZKPNKCXVWSC","short_pith_number":"pith:YYOKVEXZ","canonical_record":{"source":{"id":"1908.06510","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-18T20:24:02Z","cross_cats_sorted":[],"title_canon_sha256":"1822434e4ce764a4dddc9214d37cc54fada5153ebe80595f359337441e13d579","abstract_canon_sha256":"21ebd28da234dfc3c8ed13ee4c1fb16e82a913ad93d91a24c80cc796c6c9a6a1"},"schema_version":"1.0"},"canonical_sha256":"c61caa92f9023d10c37953daa15eb690a9545a9e670687f478c73f15d63289d2","source":{"kind":"arxiv","id":"1908.06510","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.06510","created_at":"2026-07-04T23:58:16Z"},{"alias_kind":"arxiv_version","alias_value":"1908.06510v1","created_at":"2026-07-04T23:58:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.06510","created_at":"2026-07-04T23:58:16Z"},{"alias_kind":"pith_short_12","alias_value":"YYOKVEXZAI6R","created_at":"2026-07-04T23:58:16Z"},{"alias_kind":"pith_short_16","alias_value":"YYOKVEXZAI6RBQ3Z","created_at":"2026-07-04T23:58:16Z"},{"alias_kind":"pith_short_8","alias_value":"YYOKVEXZ","created_at":"2026-07-04T23:58:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:YYOKVEXZAI6RBQ3ZKPNKCXVWSC","target":"record","payload":{"canonical_record":{"source":{"id":"1908.06510","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-18T20:24:02Z","cross_cats_sorted":[],"title_canon_sha256":"1822434e4ce764a4dddc9214d37cc54fada5153ebe80595f359337441e13d579","abstract_canon_sha256":"21ebd28da234dfc3c8ed13ee4c1fb16e82a913ad93d91a24c80cc796c6c9a6a1"},"schema_version":"1.0"},"canonical_sha256":"c61caa92f9023d10c37953daa15eb690a9545a9e670687f478c73f15d63289d2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:58:16.760550Z","signature_b64":"xpq9J0S15vIjxjeFX94U8KpMXjQWheX93R5KPUXU+5a7n0uQFqxqqSMb4g1CwqryR9z+ljdMcuOho56GeoY0AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c61caa92f9023d10c37953daa15eb690a9545a9e670687f478c73f15d63289d2","last_reissued_at":"2026-07-04T23:58:16.760144Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:58:16.760144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.06510","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-07-04T23:58:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4nE31xeDkC9vOJ+/QTZQKjRBKPM3nFIsOB/nkpUgQeEsI/l4VcoRtTF5BUN2h+73UXhZN5fCXovtLiMQnSQUCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T07:06:12.194023Z"},"content_sha256":"195cc71ab4157d7d506dcd401d53da42d975fa3824bf40579b6fb1c1ee2d63f5","schema_version":"1.0","event_id":"sha256:195cc71ab4157d7d506dcd401d53da42d975fa3824bf40579b6fb1c1ee2d63f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:YYOKVEXZAI6RBQ3ZKPNKCXVWSC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christoph Wagner, Kirstin Peters, Uwe Nestmann","submitted_at":"2019-08-18T20:24:02Z","abstract_excerpt":"The additional complexity caused by concurrently communicating processes in distributed systems render the verification of such systems into a very hard problem. Multiparty session types were developed to govern communication and concurrency in distributed systems. As such, they provide an efficient verification method w.r.t. properties about communication and concurrency, like communication safety or progress. However, they do not support the analysis of properties that require the consideration of concrete runs or concrete values of variables.\n  We sequentialise well-typed systems of process"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.06510","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1908.06510/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-04T23:58:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dkXIL0cTjXP8kubyeGYaBMoxl2SRzSJqlGYeU9CydmyOfSCuEkEwmo7naneb7Oy/H++CRfj6bPAbxco1DX21Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T07:06:12.194526Z"},"content_sha256":"265f850dd8c396d765b7e065e7f973417c69f2fdbbac26747844c9acf1cc89e7","schema_version":"1.0","event_id":"sha256:265f850dd8c396d765b7e065e7f973417c69f2fdbbac26747844c9acf1cc89e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YYOKVEXZAI6RBQ3ZKPNKCXVWSC/bundle.json","state_url":"https://pith.science/pith/YYOKVEXZAI6RBQ3ZKPNKCXVWSC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YYOKVEXZAI6RBQ3ZKPNKCXVWSC/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-08-16T07:06:12Z","links":{"resolver":"https://pith.science/pith/YYOKVEXZAI6RBQ3ZKPNKCXVWSC","bundle":"https://pith.science/pith/YYOKVEXZAI6RBQ3ZKPNKCXVWSC/bundle.json","state":"https://pith.science/pith/YYOKVEXZAI6RBQ3ZKPNKCXVWSC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YYOKVEXZAI6RBQ3ZKPNKCXVWSC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:YYOKVEXZAI6RBQ3ZKPNKCXVWSC","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":"21ebd28da234dfc3c8ed13ee4c1fb16e82a913ad93d91a24c80cc796c6c9a6a1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-18T20:24:02Z","title_canon_sha256":"1822434e4ce764a4dddc9214d37cc54fada5153ebe80595f359337441e13d579"},"schema_version":"1.0","source":{"id":"1908.06510","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.06510","created_at":"2026-07-04T23:58:16Z"},{"alias_kind":"arxiv_version","alias_value":"1908.06510v1","created_at":"2026-07-04T23:58:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.06510","created_at":"2026-07-04T23:58:16Z"},{"alias_kind":"pith_short_12","alias_value":"YYOKVEXZAI6R","created_at":"2026-07-04T23:58:16Z"},{"alias_kind":"pith_short_16","alias_value":"YYOKVEXZAI6RBQ3Z","created_at":"2026-07-04T23:58:16Z"},{"alias_kind":"pith_short_8","alias_value":"YYOKVEXZ","created_at":"2026-07-04T23:58:16Z"}],"graph_snapshots":[{"event_id":"sha256:265f850dd8c396d765b7e065e7f973417c69f2fdbbac26747844c9acf1cc89e7","target":"graph","created_at":"2026-07-04T23:58:16Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1908.06510/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The additional complexity caused by concurrently communicating processes in distributed systems render the verification of such systems into a very hard problem. Multiparty session types were developed to govern communication and concurrency in distributed systems. As such, they provide an efficient verification method w.r.t. properties about communication and concurrency, like communication safety or progress. However, they do not support the analysis of properties that require the consideration of concrete runs or concrete values of variables.\n  We sequentialise well-typed systems of process","authors_text":"Christoph Wagner, Kirstin Peters, Uwe Nestmann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.06510","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:195cc71ab4157d7d506dcd401d53da42d975fa3824bf40579b6fb1c1ee2d63f5","target":"record","created_at":"2026-07-04T23:58:16Z","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":"21ebd28da234dfc3c8ed13ee4c1fb16e82a913ad93d91a24c80cc796c6c9a6a1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-18T20:24:02Z","title_canon_sha256":"1822434e4ce764a4dddc9214d37cc54fada5153ebe80595f359337441e13d579"},"schema_version":"1.0","source":{"id":"1908.06510","kind":"arxiv","version":1}},"canonical_sha256":"c61caa92f9023d10c37953daa15eb690a9545a9e670687f478c73f15d63289d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c61caa92f9023d10c37953daa15eb690a9545a9e670687f478c73f15d63289d2","first_computed_at":"2026-07-04T23:58:16.760144Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:58:16.760144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xpq9J0S15vIjxjeFX94U8KpMXjQWheX93R5KPUXU+5a7n0uQFqxqqSMb4g1CwqryR9z+ljdMcuOho56GeoY0AA==","signature_status":"signed_v1","signed_at":"2026-07-04T23:58:16.760550Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.06510","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:195cc71ab4157d7d506dcd401d53da42d975fa3824bf40579b6fb1c1ee2d63f5","sha256:265f850dd8c396d765b7e065e7f973417c69f2fdbbac26747844c9acf1cc89e7"],"state_sha256":"26f9245b284b69937ca816b99de804b0c6b83f78676dbf21796c5bbf9886a864"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wV/dK8HJH6m4OHRt7sn5xnHaCFPwQP61/UErWA3cqyqXzb+/1y6XxroiE2fZxzwBeH9j7I0ZgC3haie5IDljBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T07:06:12.197969Z","bundle_sha256":"81dc291f9d767003ef2546f51b746fd6f1d4dfcc63c48dfd03e2495fcc157d21"}}