{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:3KCDICKHRGTWS2SYISHW65NAQO","short_pith_number":"pith:3KCDICKH","canonical_record":{"source":{"id":"1610.00450","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-03T09:00:35Z","cross_cats_sorted":[],"title_canon_sha256":"a2e42acb617d4536fc9e2e030f9ca1f2eeba023ba07fe45e6123a76240100bbd","abstract_canon_sha256":"a555b129c56884f30b64311e95bdffafb07b131d7d84c84ea4aa09ae23bee27d"},"schema_version":"1.0"},"canonical_sha256":"da8434094789a7696a58448f6f75a083934e18583f0ef02bb0733770918a734a","source":{"kind":"arxiv","id":"1610.00450","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.00450","created_at":"2026-05-18T01:03:25Z"},{"alias_kind":"arxiv_version","alias_value":"1610.00450v1","created_at":"2026-05-18T01:03:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.00450","created_at":"2026-05-18T01:03:25Z"},{"alias_kind":"pith_short_12","alias_value":"3KCDICKHRGTW","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3KCDICKHRGTWS2SY","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3KCDICKH","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:3KCDICKHRGTWS2SYISHW65NAQO","target":"record","payload":{"canonical_record":{"source":{"id":"1610.00450","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-03T09:00:35Z","cross_cats_sorted":[],"title_canon_sha256":"a2e42acb617d4536fc9e2e030f9ca1f2eeba023ba07fe45e6123a76240100bbd","abstract_canon_sha256":"a555b129c56884f30b64311e95bdffafb07b131d7d84c84ea4aa09ae23bee27d"},"schema_version":"1.0"},"canonical_sha256":"da8434094789a7696a58448f6f75a083934e18583f0ef02bb0733770918a734a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:03:25.506774Z","signature_b64":"8kw6v6xVnq9ljsdxBnau4R8t4zBmiputddkT2Z91xj+DijDiJCoT6FJXVGfJO3GkFm1wh9svOnDONNiDMdfDCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da8434094789a7696a58448f6f75a083934e18583f0ef02bb0733770918a734a","last_reissued_at":"2026-05-18T01:03:25.506289Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:03:25.506289Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.00450","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:03:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QNDHjJoAnWztRf7mcw6lB9qeMo+33dQvLa/YVc66o87UwSEudiwq7nX+6b7up1fO1ZsXcCjvNeR+DcFYX6tgCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T06:41:06.310674Z"},"content_sha256":"ef2865dd63c1f441f4f5b0a9a6f639268458a5e5a05076531f59e91dcba3c268","schema_version":"1.0","event_id":"sha256:ef2865dd63c1f441f4f5b0a9a6f639268458a5e5a05076531f59e91dcba3c268"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:3KCDICKHRGTWS2SYISHW65NAQO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algebraic Synchronization Trees and Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anna Ing\\'olfsd\\'ottir, Arnaud Carayol, Luca Aceto, Zolt\\'an \\'Esik","submitted_at":"2016-10-03T09:00:35Z","abstract_excerpt":"We study algebraic synchronization trees, i.e., initial solutions of algebraic recursion schemes over the continuous categorical algebra of synchronization trees. In particular, we investigate the relative expressive power of algebraic recursion schemes over two signatures, which are based on those for Basic CCS and Basic Process Algebra, as a means for defining synchronization trees up to isomorphism as well as modulo bisimilarity and language equivalence. The expressiveness of algebraic recursion schemes is also compared to that of the low levels in Caucal's pushdown hierarchy."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.00450","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:03:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GeCIHaSKJbl+1eXafO59Y5dPw591Oumf/kSkmfA9XirlU7x4HFg0VfkgeIY4EU0IKkW7KPTbBS5klfJfW4NzDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T06:41:06.311225Z"},"content_sha256":"bfc63380c219fa74f7b8b6913c9a8e40c50ad90434316c47acd3172d80c0f8bf","schema_version":"1.0","event_id":"sha256:bfc63380c219fa74f7b8b6913c9a8e40c50ad90434316c47acd3172d80c0f8bf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3KCDICKHRGTWS2SYISHW65NAQO/bundle.json","state_url":"https://pith.science/pith/3KCDICKHRGTWS2SYISHW65NAQO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3KCDICKHRGTWS2SYISHW65NAQO/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-23T06:41:06Z","links":{"resolver":"https://pith.science/pith/3KCDICKHRGTWS2SYISHW65NAQO","bundle":"https://pith.science/pith/3KCDICKHRGTWS2SYISHW65NAQO/bundle.json","state":"https://pith.science/pith/3KCDICKHRGTWS2SYISHW65NAQO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3KCDICKHRGTWS2SYISHW65NAQO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3KCDICKHRGTWS2SYISHW65NAQO","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":"a555b129c56884f30b64311e95bdffafb07b131d7d84c84ea4aa09ae23bee27d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-03T09:00:35Z","title_canon_sha256":"a2e42acb617d4536fc9e2e030f9ca1f2eeba023ba07fe45e6123a76240100bbd"},"schema_version":"1.0","source":{"id":"1610.00450","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.00450","created_at":"2026-05-18T01:03:25Z"},{"alias_kind":"arxiv_version","alias_value":"1610.00450v1","created_at":"2026-05-18T01:03:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.00450","created_at":"2026-05-18T01:03:25Z"},{"alias_kind":"pith_short_12","alias_value":"3KCDICKHRGTW","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3KCDICKHRGTWS2SY","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3KCDICKH","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:bfc63380c219fa74f7b8b6913c9a8e40c50ad90434316c47acd3172d80c0f8bf","target":"graph","created_at":"2026-05-18T01:03:25Z","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 study algebraic synchronization trees, i.e., initial solutions of algebraic recursion schemes over the continuous categorical algebra of synchronization trees. In particular, we investigate the relative expressive power of algebraic recursion schemes over two signatures, which are based on those for Basic CCS and Basic Process Algebra, as a means for defining synchronization trees up to isomorphism as well as modulo bisimilarity and language equivalence. The expressiveness of algebraic recursion schemes is also compared to that of the low levels in Caucal's pushdown hierarchy.","authors_text":"Anna Ing\\'olfsd\\'ottir, Arnaud Carayol, Luca Aceto, Zolt\\'an \\'Esik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-03T09:00:35Z","title":"Algebraic Synchronization Trees and Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.00450","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:ef2865dd63c1f441f4f5b0a9a6f639268458a5e5a05076531f59e91dcba3c268","target":"record","created_at":"2026-05-18T01:03:25Z","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":"a555b129c56884f30b64311e95bdffafb07b131d7d84c84ea4aa09ae23bee27d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-03T09:00:35Z","title_canon_sha256":"a2e42acb617d4536fc9e2e030f9ca1f2eeba023ba07fe45e6123a76240100bbd"},"schema_version":"1.0","source":{"id":"1610.00450","kind":"arxiv","version":1}},"canonical_sha256":"da8434094789a7696a58448f6f75a083934e18583f0ef02bb0733770918a734a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da8434094789a7696a58448f6f75a083934e18583f0ef02bb0733770918a734a","first_computed_at":"2026-05-18T01:03:25.506289Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:03:25.506289Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8kw6v6xVnq9ljsdxBnau4R8t4zBmiputddkT2Z91xj+DijDiJCoT6FJXVGfJO3GkFm1wh9svOnDONNiDMdfDCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:03:25.506774Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.00450","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ef2865dd63c1f441f4f5b0a9a6f639268458a5e5a05076531f59e91dcba3c268","sha256:bfc63380c219fa74f7b8b6913c9a8e40c50ad90434316c47acd3172d80c0f8bf"],"state_sha256":"60c1ec908180158e8db8db28cd0c5bee0a128638c7d3fc4deab01cf07cf6fccd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mJMTWtFMcriwcUN2IoxrvFfv3loetIBpwvE8m3E5Jjzqv1s4MZ06Z4xGqdV8c5YEvfz1nuNolSdTsbU1Z75vBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T06:41:06.313785Z","bundle_sha256":"71ce263ed6fa446411b4fb54b21af2cee398b2027bcf7bfc0fd20cf90a85846d"}}