{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:T6CI3533IOVHFGIDFSMH3MXVPL","short_pith_number":"pith:T6CI3533","schema_version":"1.0","canonical_sha256":"9f848df77b43aa7299032c987db2f57aef8a98aed93394917df7db795cd06baf","source":{"kind":"arxiv","id":"1010.2823","version":1},"attestation_state":"computed","paper":{"title":"Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SE","authors_text":"Australia), Markus Lumpe (Swinburne University of Technology, Rajesh Vasa (Swinburne University of Technology","submitted_at":"2010-10-14T05:16:03Z","abstract_excerpt":"Automata-based modeling languages, like Component Interaction Automata, offer an attractive means to capture and analyze the behavioral aspects of interacting components. At the center of these modeling languages we find finite state machines that allow for a fine-grained description how and when specific service requests may interact with other components or the environment. Unfortunately, automata-based approaches suffer from exponential state explosion, a major obstacle to the successful application of these formalisms in modeling real-world scenarios. In order to cope with the complexity o"},"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":"1010.2823","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2010-10-14T05:16:03Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"98390b6c5582057443633035798b0a4d64b682f16660ccde57cd015d9fe19751","abstract_canon_sha256":"5b60689b48505801eed74d86612ae0d907e3cf9ba5e4d365ec51ae883aa5d343"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:39:19.124796Z","signature_b64":"mWMVQpgaqKggDogsJbY0ZxjpGsgn7qcNEgHNCE+iCFulhObajYK1FSEzJQHHetorNvgmwA0Hy6mD90XhNmR1BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f848df77b43aa7299032c987db2f57aef8a98aed93394917df7db795cd06baf","last_reissued_at":"2026-05-18T04:39:19.124297Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:39:19.124297Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SE","authors_text":"Australia), Markus Lumpe (Swinburne University of Technology, Rajesh Vasa (Swinburne University of Technology","submitted_at":"2010-10-14T05:16:03Z","abstract_excerpt":"Automata-based modeling languages, like Component Interaction Automata, offer an attractive means to capture and analyze the behavioral aspects of interacting components. At the center of these modeling languages we find finite state machines that allow for a fine-grained description how and when specific service requests may interact with other components or the environment. Unfortunately, automata-based approaches suffer from exponential state explosion, a major obstacle to the successful application of these formalisms in modeling real-world scenarios. In order to cope with the complexity o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.2823","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":"1010.2823","created_at":"2026-05-18T04:39:19.124362+00:00"},{"alias_kind":"arxiv_version","alias_value":"1010.2823v1","created_at":"2026-05-18T04:39:19.124362+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.2823","created_at":"2026-05-18T04:39:19.124362+00:00"},{"alias_kind":"pith_short_12","alias_value":"T6CI3533IOVH","created_at":"2026-05-18T12:26:13.927090+00:00"},{"alias_kind":"pith_short_16","alias_value":"T6CI3533IOVHFGID","created_at":"2026-05-18T12:26:13.927090+00:00"},{"alias_kind":"pith_short_8","alias_value":"T6CI3533","created_at":"2026-05-18T12:26:13.927090+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/T6CI3533IOVHFGIDFSMH3MXVPL","json":"https://pith.science/pith/T6CI3533IOVHFGIDFSMH3MXVPL.json","graph_json":"https://pith.science/api/pith-number/T6CI3533IOVHFGIDFSMH3MXVPL/graph.json","events_json":"https://pith.science/api/pith-number/T6CI3533IOVHFGIDFSMH3MXVPL/events.json","paper":"https://pith.science/paper/T6CI3533"},"agent_actions":{"view_html":"https://pith.science/pith/T6CI3533IOVHFGIDFSMH3MXVPL","download_json":"https://pith.science/pith/T6CI3533IOVHFGIDFSMH3MXVPL.json","view_paper":"https://pith.science/paper/T6CI3533","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1010.2823&json=true","fetch_graph":"https://pith.science/api/pith-number/T6CI3533IOVHFGIDFSMH3MXVPL/graph.json","fetch_events":"https://pith.science/api/pith-number/T6CI3533IOVHFGIDFSMH3MXVPL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/T6CI3533IOVHFGIDFSMH3MXVPL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/T6CI3533IOVHFGIDFSMH3MXVPL/action/storage_attestation","attest_author":"https://pith.science/pith/T6CI3533IOVHFGIDFSMH3MXVPL/action/author_attestation","sign_citation":"https://pith.science/pith/T6CI3533IOVHFGIDFSMH3MXVPL/action/citation_signature","submit_replication":"https://pith.science/pith/T6CI3533IOVHFGIDFSMH3MXVPL/action/replication_record"}},"created_at":"2026-05-18T04:39:19.124362+00:00","updated_at":"2026-05-18T04:39:19.124362+00:00"}