{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:KV4ZPTZ5V3Z4CVC3RXGZVRP3EX","short_pith_number":"pith:KV4ZPTZ5","canonical_record":{"source":{"id":"1704.04620","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-15T10:49:00Z","cross_cats_sorted":[],"title_canon_sha256":"f682174d8e81017eafe2e82b4f5d7bf702ed9dc5a600017e4a677cf3c66946ca","abstract_canon_sha256":"473c681064c2dc72b60a1c0c592d0373b0fb43e42a0ffa2fa59ed4f73c9164a1"},"schema_version":"1.0"},"canonical_sha256":"557997cf3daef3c1545b8dcd9ac5fb25c8f62097e78dee3d03430b32cfaf90cc","source":{"kind":"arxiv","id":"1704.04620","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.04620","created_at":"2026-05-18T00:46:18Z"},{"alias_kind":"arxiv_version","alias_value":"1704.04620v1","created_at":"2026-05-18T00:46:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04620","created_at":"2026-05-18T00:46:18Z"},{"alias_kind":"pith_short_12","alias_value":"KV4ZPTZ5V3Z4","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KV4ZPTZ5V3Z4CVC3","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KV4ZPTZ5","created_at":"2026-05-18T12:31:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:KV4ZPTZ5V3Z4CVC3RXGZVRP3EX","target":"record","payload":{"canonical_record":{"source":{"id":"1704.04620","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-15T10:49:00Z","cross_cats_sorted":[],"title_canon_sha256":"f682174d8e81017eafe2e82b4f5d7bf702ed9dc5a600017e4a677cf3c66946ca","abstract_canon_sha256":"473c681064c2dc72b60a1c0c592d0373b0fb43e42a0ffa2fa59ed4f73c9164a1"},"schema_version":"1.0"},"canonical_sha256":"557997cf3daef3c1545b8dcd9ac5fb25c8f62097e78dee3d03430b32cfaf90cc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:18.053609Z","signature_b64":"M1+8HKCeyF5AAEToblvYdV6wzdiSRVS/mqFrJ+Uj4kaUvY5+PKFtLOTAAk7BsCRd2I4QNivQaPdJNn/rRIAEDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"557997cf3daef3c1545b8dcd9ac5fb25c8f62097e78dee3d03430b32cfaf90cc","last_reissued_at":"2026-05-18T00:46:18.053231Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:18.053231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.04620","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:46:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BSB7Y99p4vwS+jSf4iEP6lVoHS/0eGGD39zMlCO6xsimRan/o7tyxj6+YS/gL632yd207C03m4Eir0dS/L0oCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T08:12:54.810114Z"},"content_sha256":"52bd65c65f2c86b5297e97a14d265dbdaa7b47aa831c2bbfb99beefb8def7733","schema_version":"1.0","event_id":"sha256:52bd65c65f2c86b5297e97a14d265dbdaa7b47aa831c2bbfb99beefb8def7733"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:KV4ZPTZ5V3Z4CVC3RXGZVRP3EX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Akira Yoshimizu, Ryo Tanaka, Ugo Dal Lago","submitted_at":"2017-04-15T10:49:00Z","abstract_excerpt":"We introduce a geometry of interaction model for Mazza's multiport interaction combinators, a graph-theoretic formalism which is able to faithfully capture concurrent computation as embodied by process algebras like the $\\pi$-calculus. The introduced model is based on token machines in which not one but multiple tokens are allowed to traverse the underlying net at the same time. We prove soundness and adequacy of the introduced model. The former is proved as a simulation result between the token machines one obtains along any reduction sequence. The latter is obtained by a fine analysis of con"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04620","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:46:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z5Hv5nY1jUhkPhWuXdTj6SLxT4amO9vZSNFtZiHppS652J0JsCNksETQFKHPa08RFCHDZV7n6u6lT4QdBTu3DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T08:12:54.810601Z"},"content_sha256":"80b4d3a5f55f0fbd6a0443bc732d9c37a60db1a2530ceff98d417fa9e1967544","schema_version":"1.0","event_id":"sha256:80b4d3a5f55f0fbd6a0443bc732d9c37a60db1a2530ceff98d417fa9e1967544"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KV4ZPTZ5V3Z4CVC3RXGZVRP3EX/bundle.json","state_url":"https://pith.science/pith/KV4ZPTZ5V3Z4CVC3RXGZVRP3EX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KV4ZPTZ5V3Z4CVC3RXGZVRP3EX/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-21T08:12:54Z","links":{"resolver":"https://pith.science/pith/KV4ZPTZ5V3Z4CVC3RXGZVRP3EX","bundle":"https://pith.science/pith/KV4ZPTZ5V3Z4CVC3RXGZVRP3EX/bundle.json","state":"https://pith.science/pith/KV4ZPTZ5V3Z4CVC3RXGZVRP3EX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KV4ZPTZ5V3Z4CVC3RXGZVRP3EX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KV4ZPTZ5V3Z4CVC3RXGZVRP3EX","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":"473c681064c2dc72b60a1c0c592d0373b0fb43e42a0ffa2fa59ed4f73c9164a1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-15T10:49:00Z","title_canon_sha256":"f682174d8e81017eafe2e82b4f5d7bf702ed9dc5a600017e4a677cf3c66946ca"},"schema_version":"1.0","source":{"id":"1704.04620","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.04620","created_at":"2026-05-18T00:46:18Z"},{"alias_kind":"arxiv_version","alias_value":"1704.04620v1","created_at":"2026-05-18T00:46:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04620","created_at":"2026-05-18T00:46:18Z"},{"alias_kind":"pith_short_12","alias_value":"KV4ZPTZ5V3Z4","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KV4ZPTZ5V3Z4CVC3","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KV4ZPTZ5","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:80b4d3a5f55f0fbd6a0443bc732d9c37a60db1a2530ceff98d417fa9e1967544","target":"graph","created_at":"2026-05-18T00:46:18Z","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":"We introduce a geometry of interaction model for Mazza's multiport interaction combinators, a graph-theoretic formalism which is able to faithfully capture concurrent computation as embodied by process algebras like the $\\pi$-calculus. The introduced model is based on token machines in which not one but multiple tokens are allowed to traverse the underlying net at the same time. We prove soundness and adequacy of the introduced model. The former is proved as a simulation result between the token machines one obtains along any reduction sequence. The latter is obtained by a fine analysis of con","authors_text":"Akira Yoshimizu, Ryo Tanaka, Ugo Dal Lago","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-15T10:49:00Z","title":"The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04620","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:52bd65c65f2c86b5297e97a14d265dbdaa7b47aa831c2bbfb99beefb8def7733","target":"record","created_at":"2026-05-18T00:46:18Z","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":"473c681064c2dc72b60a1c0c592d0373b0fb43e42a0ffa2fa59ed4f73c9164a1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-15T10:49:00Z","title_canon_sha256":"f682174d8e81017eafe2e82b4f5d7bf702ed9dc5a600017e4a677cf3c66946ca"},"schema_version":"1.0","source":{"id":"1704.04620","kind":"arxiv","version":1}},"canonical_sha256":"557997cf3daef3c1545b8dcd9ac5fb25c8f62097e78dee3d03430b32cfaf90cc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"557997cf3daef3c1545b8dcd9ac5fb25c8f62097e78dee3d03430b32cfaf90cc","first_computed_at":"2026-05-18T00:46:18.053231Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:18.053231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"M1+8HKCeyF5AAEToblvYdV6wzdiSRVS/mqFrJ+Uj4kaUvY5+PKFtLOTAAk7BsCRd2I4QNivQaPdJNn/rRIAEDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:18.053609Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.04620","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:52bd65c65f2c86b5297e97a14d265dbdaa7b47aa831c2bbfb99beefb8def7733","sha256:80b4d3a5f55f0fbd6a0443bc732d9c37a60db1a2530ceff98d417fa9e1967544"],"state_sha256":"30a72cf022fd9d38516575f6fa98a91b505732f83832d425ea3b9ec283783acb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KV7dT8ynj3fgDsSuwiF8qSsH2OP8XS6UE0LGaltniGAiOB3G6mez9+NqUWRcvEfUaT5qzF5+6w+epoONmxl9Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T08:12:54.813502Z","bundle_sha256":"ea0416d1c87876d6686c40a14bc1525cd82947e641c41fa9829edf54f271a6cf"}}