{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:O2IY2NTWTGQU6WOULP6UFO3ACO","short_pith_number":"pith:O2IY2NTW","schema_version":"1.0","canonical_sha256":"76918d367699a14f59d45bfd42bb6013a0b2b54dc742184e97c3648ec257ca63","source":{"kind":"arxiv","id":"1511.05070","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1511.05070","created_at":"2026-05-18T01:26:50.925588+00:00"},{"alias_kind":"arxiv_version","alias_value":"1511.05070v1","created_at":"2026-05-18T01:26:50.925588+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.05070","created_at":"2026-05-18T01:26:50.925588+00:00"},{"alias_kind":"pith_short_12","alias_value":"O2IY2NTWTGQU","created_at":"2026-05-18T12:29:34.919912+00:00"},{"alias_kind":"pith_short_16","alias_value":"O2IY2NTWTGQU6WOU","created_at":"2026-05-18T12:29:34.919912+00:00"},{"alias_kind":"pith_short_8","alias_value":"O2IY2NTW","created_at":"2026-05-18T12:29:34.919912+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO","json":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO.json","graph_json":"https://pith.science/api/pith-number/O2IY2NTWTGQU6WOULP6UFO3ACO/graph.json","events_json":"https://pith.science/api/pith-number/O2IY2NTWTGQU6WOULP6UFO3ACO/events.json","paper":"https://pith.science/paper/O2IY2NTW"},"agent_actions":{"view_html":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO","download_json":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO.json","view_paper":"https://pith.science/paper/O2IY2NTW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1511.05070&json=true","fetch_graph":"https://pith.science/api/pith-number/O2IY2NTWTGQU6WOULP6UFO3ACO/graph.json","fetch_events":"https://pith.science/api/pith-number/O2IY2NTWTGQU6WOULP6UFO3ACO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/action/storage_attestation","attest_author":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/action/author_attestation","sign_citation":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/action/citation_signature","submit_replication":"https://pith.science/pith/O2IY2NTWTGQU6WOULP6UFO3ACO/action/replication_record"}},"created_at":"2026-05-18T01:26:50.925588+00:00","updated_at":"2026-05-18T01:26:50.925588+00:00"}