{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:O2IY2NTWTGQU6WOULP6UFO3ACO","short_pith_number":"pith:O2IY2NTW","canonical_record":{"source":{"id":"1511.05070","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-11-16T18:05:06Z","cross_cats_sorted":[],"title_canon_sha256":"f36e0a76791c0066ffc59da07a284d529d678edd570e29b620eea367d31a44e4","abstract_canon_sha256":"3f0972146d8ab37231809c216727f2a03fb0e0795dca2dbb154b90ff8159c3a2"},"schema_version":"1.0"},"canonical_sha256":"76918d367699a14f59d45bfd42bb6013a0b2b54dc742184e97c3648ec257ca63","source":{"kind":"arxiv","id":"1511.05070","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.05070","created_at":"2026-05-18T01:26:50Z"},{"alias_kind":"arxiv_version","alias_value":"1511.05070v1","created_at":"2026-05-18T01:26:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.05070","created_at":"2026-05-18T01:26:50Z"},{"alias_kind":"pith_short_12","alias_value":"O2IY2NTWTGQU","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"O2IY2NTWTGQU6WOU","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"O2IY2NTW","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:O2IY2NTWTGQU6WOULP6UFO3ACO","target":"record","payload":{"canonical_record":{"source":{"id":"1511.05070","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-11-16T18:05:06Z","cross_cats_sorted":[],"title_canon_sha256":"f36e0a76791c0066ffc59da07a284d529d678edd570e29b620eea367d31a44e4","abstract_canon_sha256":"3f0972146d8ab37231809c216727f2a03fb0e0795dca2dbb154b90ff8159c3a2"},"schema_version":"1.0"},"canonical_sha256":"76918d367699a14f59d45bfd42bb6013a0b2b54dc742184e97c3648ec257ca63","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:26:50.926126Z","signature_b64":"fVwJ6Yvl1wOIMaWcqPKCd7yMqGNC2xshhkLE5+jNJZb74+LN8mv7HqAh866YcMpCLWYu1nIwppDa7HiShO2TDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76918d367699a14f59d45bfd42bb6013a0b2b54dc742184e97c3648ec257ca63","last_reissued_at":"2026-05-18T01:26:50.925494Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:26:50.925494Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.05070","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:26:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h8MVe6bXVtQukB4+Daoac/0/BipAjiisJAD2nsY4JLcxX8PC4VPgHChW0RdF3I28bXJv2pMRS/H3PqvvI0jeDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T18:44:12.303903Z"},"content_sha256":"4650027902159f9d0d72c6d901ba60891ef60f9bff2f05bfa0d488bc237d6e7d","schema_version":"1.0","event_id":"sha256:4650027902159f9d0d72c6d901ba60891ef60f9bff2f05bfa0d488bc237d6e7d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:O2IY2NTWTGQU6WOULP6UFO3ACO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Mohammad Izadi, Saeed Masoudian, Sahand Mozaffari","submitted_at":"2015-11-16T18:05:06Z","abstract_excerpt":"B\\\"uchi automaton of records (BAR) has been proposed as a basic operational semantics for Reo coordination language. It is an extension of B\\\"uchi automaton by using a set of records as its alphabet or transition labels. Records are used to express the synchrony between the externally visible actions of coordinated components modeled by BARs. The main composition operator on the set of BARs is called as join which is the semantics of its counterpart in Reo. In this paper, we define the notion of labeled transition systems of records as a generalization of the notion of BAR, abstracting away fr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.05070","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:26:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gqDtWqeTallPsftWSo3SEjX1zGBTyjWrsrINVQZtEBdO+j+g1F5W6lnXEE24C7FNhxgm45u8WmyU24NGQradAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T18:44:12.304250Z"},"content_sha256":"f936c03c5735dd84398965705dbc68cc546c12f36373d64fe04d974a4f8df10e","schema_version":"1.0","event_id":"sha256:f936c03c5735dd84398965705dbc68cc546c12f36373d64fe04d974a4f8df10e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/bundle.json","state_url":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/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-26T18:44:12Z","links":{"resolver":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO","bundle":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/bundle.json","state":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:O2IY2NTWTGQU6WOULP6UFO3ACO","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":"3f0972146d8ab37231809c216727f2a03fb0e0795dca2dbb154b90ff8159c3a2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-11-16T18:05:06Z","title_canon_sha256":"f36e0a76791c0066ffc59da07a284d529d678edd570e29b620eea367d31a44e4"},"schema_version":"1.0","source":{"id":"1511.05070","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.05070","created_at":"2026-05-18T01:26:50Z"},{"alias_kind":"arxiv_version","alias_value":"1511.05070v1","created_at":"2026-05-18T01:26:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.05070","created_at":"2026-05-18T01:26:50Z"},{"alias_kind":"pith_short_12","alias_value":"O2IY2NTWTGQU","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"O2IY2NTWTGQU6WOU","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"O2IY2NTW","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:f936c03c5735dd84398965705dbc68cc546c12f36373d64fe04d974a4f8df10e","target":"graph","created_at":"2026-05-18T01:26:50Z","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":"B\\\"uchi automaton of records (BAR) has been proposed as a basic operational semantics for Reo coordination language. It is an extension of B\\\"uchi automaton by using a set of records as its alphabet or transition labels. Records are used to express the synchrony between the externally visible actions of coordinated components modeled by BARs. The main composition operator on the set of BARs is called as join which is the semantics of its counterpart in Reo. In this paper, we define the notion of labeled transition systems of records as a generalization of the notion of BAR, abstracting away fr","authors_text":"Mohammad Izadi, Saeed Masoudian, Sahand Mozaffari","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-11-16T18:05:06Z","title":"Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.05070","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:4650027902159f9d0d72c6d901ba60891ef60f9bff2f05bfa0d488bc237d6e7d","target":"record","created_at":"2026-05-18T01:26:50Z","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":"3f0972146d8ab37231809c216727f2a03fb0e0795dca2dbb154b90ff8159c3a2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-11-16T18:05:06Z","title_canon_sha256":"f36e0a76791c0066ffc59da07a284d529d678edd570e29b620eea367d31a44e4"},"schema_version":"1.0","source":{"id":"1511.05070","kind":"arxiv","version":1}},"canonical_sha256":"76918d367699a14f59d45bfd42bb6013a0b2b54dc742184e97c3648ec257ca63","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"76918d367699a14f59d45bfd42bb6013a0b2b54dc742184e97c3648ec257ca63","first_computed_at":"2026-05-18T01:26:50.925494Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:26:50.925494Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fVwJ6Yvl1wOIMaWcqPKCd7yMqGNC2xshhkLE5+jNJZb74+LN8mv7HqAh866YcMpCLWYu1nIwppDa7HiShO2TDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:26:50.926126Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.05070","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4650027902159f9d0d72c6d901ba60891ef60f9bff2f05bfa0d488bc237d6e7d","sha256:f936c03c5735dd84398965705dbc68cc546c12f36373d64fe04d974a4f8df10e"],"state_sha256":"2894ee20df0ff07da057de063cdee02955c9127c000cd570f9ae56b646c27a59"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8D7jiViI5y7+xP9Fuu99qoyztjewQON8AreLzwuyELr7JpFotp7dLLTjfHeiig5Z/0mMawMRWVhkqQk2LaSnBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T18:44:12.306113Z","bundle_sha256":"9573dcd0810ccb825e10e8dc02e20bba9267794351ecae3879a08b8c4158f3e0"}}