{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:7WZ7JJWJPPOHUYUU66UMN6VDO6","short_pith_number":"pith:7WZ7JJWJ","canonical_record":{"source":{"id":"1606.05938","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-20T01:08:57Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"ae6d54772539d586421a09e9d820ae260e89571ddd957ae4aa01f3db5fbe806d","abstract_canon_sha256":"601f4d50fe4d482aaa69b3a967f005528bf950c887760a72c3f20c9c076f08d2"},"schema_version":"1.0"},"canonical_sha256":"fdb3f4a6c97bdc7a6294f7a8c6faa3778cd756405d0bcae6a109dcc349f685ce","source":{"kind":"arxiv","id":"1606.05938","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.05938","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"arxiv_version","alias_value":"1606.05938v1","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.05938","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"pith_short_12","alias_value":"7WZ7JJWJPPOH","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"7WZ7JJWJPPOHUYUU","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"7WZ7JJWJ","created_at":"2026-05-18T12:30:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:7WZ7JJWJPPOHUYUU66UMN6VDO6","target":"record","payload":{"canonical_record":{"source":{"id":"1606.05938","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-20T01:08:57Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"ae6d54772539d586421a09e9d820ae260e89571ddd957ae4aa01f3db5fbe806d","abstract_canon_sha256":"601f4d50fe4d482aaa69b3a967f005528bf950c887760a72c3f20c9c076f08d2"},"schema_version":"1.0"},"canonical_sha256":"fdb3f4a6c97bdc7a6294f7a8c6faa3778cd756405d0bcae6a109dcc349f685ce","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:15.757395Z","signature_b64":"KxU4lrg+FUQ5frGbaXLHXpASEMHc2/NVd/F/wKyMPJGHkiSY/aRLx53EcFAkSpA729LHBkFdZ8oa27e+SdRnDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fdb3f4a6c97bdc7a6294f7a8c6faa3778cd756405d0bcae6a109dcc349f685ce","last_reissued_at":"2026-05-18T01:12:15.757028Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:15.757028Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.05938","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-18T01:12:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+7tRQ9TXqDJG20Q5sOrA88nXZqNKXF5xPQlLfDeDkQf28oyuxCHAa0wo4PMlx+2K658v7RnylfI/qqaM6hNuAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T20:19:10.997549Z"},"content_sha256":"f39352a035dc2d75603c9f7a0992cbd1eced004aa90bc08747c9e5873fb69a72","schema_version":"1.0","event_id":"sha256:f39352a035dc2d75603c9f7a0992cbd1eced004aa90bc08747c9e5873fb69a72"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:7WZ7JJWJPPOHUYUU66UMN6VDO6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parallel Monitors for Self-adaptive Sessions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.LO","authors_text":"Betti Venneri (Universit\\`a di Firenze, Italia), Mariangiola Dezani-Ciancaglini (Universit\\`a di Torino, Mario Coppo (Universit\\`a di Torino","submitted_at":"2016-06-20T01:08:57Z","abstract_excerpt":"The paper presents a data-driven  model  of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants  are incarnated by processes associated with monitors, which control their behaviour. Each participant can access and modify a set of global data, which are able to trigger adaptations in the presence of critical changes of values.\n  The use of the parallel composition for building global types, monitors and processes enables a significant degree of flexibility: an adaptation step can dynamically reconfigure a set of participants only, without al"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.05938","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-18T01:12:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k+KDHUDzvNCOrbcPO6q5kpoxksFjEbLcJpE4Ifon6WSqld+O0JIr9+blO2Cj0BE5X0cUA9Deuc78K9LXrzq1AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T20:19:10.997893Z"},"content_sha256":"7a653c84e4527583b2511f95cb2c269818d40b3b16618fc94afc52b6b4d10113","schema_version":"1.0","event_id":"sha256:7a653c84e4527583b2511f95cb2c269818d40b3b16618fc94afc52b6b4d10113"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7WZ7JJWJPPOHUYUU66UMN6VDO6/bundle.json","state_url":"https://pith.science/pith/7WZ7JJWJPPOHUYUU66UMN6VDO6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7WZ7JJWJPPOHUYUU66UMN6VDO6/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-07-02T20:19:10Z","links":{"resolver":"https://pith.science/pith/7WZ7JJWJPPOHUYUU66UMN6VDO6","bundle":"https://pith.science/pith/7WZ7JJWJPPOHUYUU66UMN6VDO6/bundle.json","state":"https://pith.science/pith/7WZ7JJWJPPOHUYUU66UMN6VDO6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7WZ7JJWJPPOHUYUU66UMN6VDO6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:7WZ7JJWJPPOHUYUU66UMN6VDO6","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":"601f4d50fe4d482aaa69b3a967f005528bf950c887760a72c3f20c9c076f08d2","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-20T01:08:57Z","title_canon_sha256":"ae6d54772539d586421a09e9d820ae260e89571ddd957ae4aa01f3db5fbe806d"},"schema_version":"1.0","source":{"id":"1606.05938","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.05938","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"arxiv_version","alias_value":"1606.05938v1","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.05938","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"pith_short_12","alias_value":"7WZ7JJWJPPOH","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"7WZ7JJWJPPOHUYUU","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"7WZ7JJWJ","created_at":"2026-05-18T12:30:04Z"}],"graph_snapshots":[{"event_id":"sha256:7a653c84e4527583b2511f95cb2c269818d40b3b16618fc94afc52b6b4d10113","target":"graph","created_at":"2026-05-18T01:12:15Z","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 paper presents a data-driven  model  of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants  are incarnated by processes associated with monitors, which control their behaviour. Each participant can access and modify a set of global data, which are able to trigger adaptations in the presence of critical changes of values.\n  The use of the parallel composition for building global types, monitors and processes enables a significant degree of flexibility: an adaptation step can dynamically reconfigure a set of participants only, without al","authors_text":"Betti Venneri (Universit\\`a di Firenze, Italia), Mariangiola Dezani-Ciancaglini (Universit\\`a di Torino, Mario Coppo (Universit\\`a di Torino","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-20T01:08:57Z","title":"Parallel Monitors for Self-adaptive Sessions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.05938","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:f39352a035dc2d75603c9f7a0992cbd1eced004aa90bc08747c9e5873fb69a72","target":"record","created_at":"2026-05-18T01:12:15Z","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":"601f4d50fe4d482aaa69b3a967f005528bf950c887760a72c3f20c9c076f08d2","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-20T01:08:57Z","title_canon_sha256":"ae6d54772539d586421a09e9d820ae260e89571ddd957ae4aa01f3db5fbe806d"},"schema_version":"1.0","source":{"id":"1606.05938","kind":"arxiv","version":1}},"canonical_sha256":"fdb3f4a6c97bdc7a6294f7a8c6faa3778cd756405d0bcae6a109dcc349f685ce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fdb3f4a6c97bdc7a6294f7a8c6faa3778cd756405d0bcae6a109dcc349f685ce","first_computed_at":"2026-05-18T01:12:15.757028Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:15.757028Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KxU4lrg+FUQ5frGbaXLHXpASEMHc2/NVd/F/wKyMPJGHkiSY/aRLx53EcFAkSpA729LHBkFdZ8oa27e+SdRnDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:15.757395Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.05938","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f39352a035dc2d75603c9f7a0992cbd1eced004aa90bc08747c9e5873fb69a72","sha256:7a653c84e4527583b2511f95cb2c269818d40b3b16618fc94afc52b6b4d10113"],"state_sha256":"482b84fdf6d8ae2b444cbff36f04b05b9d9213c2506310858ab755695680d0b7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tX5epwfOJCUYkrNIONeM5w2yan5l0kchGWqEwAXP9UYnHSysFli/VG1ya+HjItYE3hyUgit5UGd27OGRREWZAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T20:19:11.000298Z","bundle_sha256":"5cd3ef2d61f6754311f1b3b4d288ed77307b7718c0b97c011f06797f14ad6490"}}