{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:LZEYGWICH7F4EFCXWANYRKXC6O","short_pith_number":"pith:LZEYGWIC","canonical_record":{"source":{"id":"1506.06537","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-06-22T10:21:45Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"285c9bcbebe410c19ca8bcae166d93bc3b4b63f2f08f53b674e4daec7e3e0c10","abstract_canon_sha256":"8f01424bfcd07076be55004d230c193d5c9e0f92709b45c38998c1d818074548"},"schema_version":"1.0"},"canonical_sha256":"5e498359023fcbc21457b01b88aae2f3953e8d66406ca09024f23e7636ccf71b","source":{"kind":"arxiv","id":"1506.06537","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.06537","created_at":"2026-05-18T00:45:35Z"},{"alias_kind":"arxiv_version","alias_value":"1506.06537v2","created_at":"2026-05-18T00:45:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.06537","created_at":"2026-05-18T00:45:35Z"},{"alias_kind":"pith_short_12","alias_value":"LZEYGWICH7F4","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"LZEYGWICH7F4EFCX","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"LZEYGWIC","created_at":"2026-05-18T12:29:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:LZEYGWICH7F4EFCXWANYRKXC6O","target":"record","payload":{"canonical_record":{"source":{"id":"1506.06537","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-06-22T10:21:45Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"285c9bcbebe410c19ca8bcae166d93bc3b4b63f2f08f53b674e4daec7e3e0c10","abstract_canon_sha256":"8f01424bfcd07076be55004d230c193d5c9e0f92709b45c38998c1d818074548"},"schema_version":"1.0"},"canonical_sha256":"5e498359023fcbc21457b01b88aae2f3953e8d66406ca09024f23e7636ccf71b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:45:35.293830Z","signature_b64":"12lKjfJo1OrP4QUVQJdGNfSQL9LAiVodWDPkmDSOoY/5y+KiAvc6xXBsUTUdtjXnI0a5FWPOokEHnFvyKi4lAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e498359023fcbc21457b01b88aae2f3953e8d66406ca09024f23e7636ccf71b","last_reissued_at":"2026-05-18T00:45:35.292674Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:45:35.292674Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.06537","source_version":2,"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:45:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K8TRpkqaFduYZNArhxG8/kPaPhDxdvwEiV4trhSuprnPsenhGAeG8FjVtbxoLzKfOSom3AIwHipjdSm6AMiNBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:14:54.312098Z"},"content_sha256":"25a4af2604c9ef6db56030c3b51498b07b8eadfb7a5fa2b8a0ad0ffe9b7072f3","schema_version":"1.0","event_id":"sha256:25a4af2604c9ef6db56030c3b51498b07b8eadfb7a5fa2b8a0ad0ffe9b7072f3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:LZEYGWICH7F4EFCXWANYRKXC6O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synchronization of Bernoulli sequences on shared letters","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.FL","authors_text":"Samy Abbes","submitted_at":"2015-06-22T10:21:45Z","abstract_excerpt":"The topic of this paper is the distributed and incremental generation of long executions of concurrent systems, uniformly or more generally with weights associated to elementary actions. Synchronizing sequences of letters on alphabets sharing letters are known to produce a trace in the concurrency theoretic sense, i.e., a labeled partially ordered set. We study the probabilistic aspects by considering the synchronization of Bernoulli sequences of letters, under the light of Bernoulli and uniform measures recently introduced for trace monoids. We introduce two algorithms that produce random tra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.06537","kind":"arxiv","version":2},"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:45:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o8fXIYCJH32gJet1Mx7iFxa87ebdl+pqWGahdZzWj4yguuzSuNoEFrzYUHa13wne2lPyB8GsDkqINLbgFAl6Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T13:14:54.312735Z"},"content_sha256":"fe7287b0d166e3101ff16dcc21113eb55124acffdf31774f043c09312c62a07f","schema_version":"1.0","event_id":"sha256:fe7287b0d166e3101ff16dcc21113eb55124acffdf31774f043c09312c62a07f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LZEYGWICH7F4EFCXWANYRKXC6O/bundle.json","state_url":"https://pith.science/pith/LZEYGWICH7F4EFCXWANYRKXC6O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LZEYGWICH7F4EFCXWANYRKXC6O/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-06-02T13:14:54Z","links":{"resolver":"https://pith.science/pith/LZEYGWICH7F4EFCXWANYRKXC6O","bundle":"https://pith.science/pith/LZEYGWICH7F4EFCXWANYRKXC6O/bundle.json","state":"https://pith.science/pith/LZEYGWICH7F4EFCXWANYRKXC6O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LZEYGWICH7F4EFCXWANYRKXC6O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:LZEYGWICH7F4EFCXWANYRKXC6O","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":"8f01424bfcd07076be55004d230c193d5c9e0f92709b45c38998c1d818074548","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-06-22T10:21:45Z","title_canon_sha256":"285c9bcbebe410c19ca8bcae166d93bc3b4b63f2f08f53b674e4daec7e3e0c10"},"schema_version":"1.0","source":{"id":"1506.06537","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.06537","created_at":"2026-05-18T00:45:35Z"},{"alias_kind":"arxiv_version","alias_value":"1506.06537v2","created_at":"2026-05-18T00:45:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.06537","created_at":"2026-05-18T00:45:35Z"},{"alias_kind":"pith_short_12","alias_value":"LZEYGWICH7F4","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"LZEYGWICH7F4EFCX","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"LZEYGWIC","created_at":"2026-05-18T12:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:fe7287b0d166e3101ff16dcc21113eb55124acffdf31774f043c09312c62a07f","target":"graph","created_at":"2026-05-18T00:45:35Z","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 topic of this paper is the distributed and incremental generation of long executions of concurrent systems, uniformly or more generally with weights associated to elementary actions. Synchronizing sequences of letters on alphabets sharing letters are known to produce a trace in the concurrency theoretic sense, i.e., a labeled partially ordered set. We study the probabilistic aspects by considering the synchronization of Bernoulli sequences of letters, under the light of Bernoulli and uniform measures recently introduced for trace monoids. We introduce two algorithms that produce random tra","authors_text":"Samy Abbes","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-06-22T10:21:45Z","title":"Synchronization of Bernoulli sequences on shared letters"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.06537","kind":"arxiv","version":2},"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:25a4af2604c9ef6db56030c3b51498b07b8eadfb7a5fa2b8a0ad0ffe9b7072f3","target":"record","created_at":"2026-05-18T00:45:35Z","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":"8f01424bfcd07076be55004d230c193d5c9e0f92709b45c38998c1d818074548","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-06-22T10:21:45Z","title_canon_sha256":"285c9bcbebe410c19ca8bcae166d93bc3b4b63f2f08f53b674e4daec7e3e0c10"},"schema_version":"1.0","source":{"id":"1506.06537","kind":"arxiv","version":2}},"canonical_sha256":"5e498359023fcbc21457b01b88aae2f3953e8d66406ca09024f23e7636ccf71b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5e498359023fcbc21457b01b88aae2f3953e8d66406ca09024f23e7636ccf71b","first_computed_at":"2026-05-18T00:45:35.292674Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:45:35.292674Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"12lKjfJo1OrP4QUVQJdGNfSQL9LAiVodWDPkmDSOoY/5y+KiAvc6xXBsUTUdtjXnI0a5FWPOokEHnFvyKi4lAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:45:35.293830Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.06537","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:25a4af2604c9ef6db56030c3b51498b07b8eadfb7a5fa2b8a0ad0ffe9b7072f3","sha256:fe7287b0d166e3101ff16dcc21113eb55124acffdf31774f043c09312c62a07f"],"state_sha256":"b24d05f4b3d8360b252136c420764276665d3b80bf30997daf0723e66a06ba9f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"avYh9sdQpiycipmtG+pshiWQUqItuFyAEuSP2eAu3hun5eXF+zGAdORzVuj8RF2N3R/9+U6DQWKeybH6BUU/Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T13:14:54.316350Z","bundle_sha256":"d3d225a6c4f81bba724777e51cc65425e262659bdcc8e3bd8e9e66c244d350da"}}