{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:4ZFL2FADKYIUX4DAG3SJAUUHGV","short_pith_number":"pith:4ZFL2FAD","schema_version":"1.0","canonical_sha256":"e64abd140356114bf06036e4905287356ba5de2ef9660e2857b5e73576674f3f","source":{"kind":"arxiv","id":"1101.5324","version":1},"attestation_state":"computed","paper":{"title":"Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Tim A.C. Willemse, Vincent J.J. Kusters, Yi-Ling Hwong","submitted_at":"2011-01-27T16:03:56Z","abstract_excerpt":"The control software of the CERN Compact Muon Solenoid experiment contains over 30,000 finite state machines. These state machines are organised hierarchically: commands are sent down the hierarchy and state changes are sent upwards. The sheer size of the system makes it virtually impossible to fully understand the details of its behaviour at the macro level. This is fuelled by unclarities that already exist at the micro level. We have solved the latter problem by formally describing the finite state machines in the mCRL2 process algebra. The translation has been implemented using the ASF+SDF "},"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":"1101.5324","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-27T16:03:56Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"ceadd205a2c56627d03eadba13f46a7c2f9c77f5f6a2f3ec4d12636ca10c23cb","abstract_canon_sha256":"d867c2c97eae27cade13a36bc12e0c3a43494335046e365225baf42086d966d3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:08.225885Z","signature_b64":"QewPxdo+EDwHkxtWlkme2juog4WA+3r9/DBe2DKKT9mkbNizBoOnIZRwZGLtqe1BDhMrtKR1KGKl6yQ16vKdBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e64abd140356114bf06036e4905287356ba5de2ef9660e2857b5e73576674f3f","last_reissued_at":"2026-05-18T03:32:08.225185Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:08.225185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Tim A.C. Willemse, Vincent J.J. Kusters, Yi-Ling Hwong","submitted_at":"2011-01-27T16:03:56Z","abstract_excerpt":"The control software of the CERN Compact Muon Solenoid experiment contains over 30,000 finite state machines. These state machines are organised hierarchically: commands are sent down the hierarchy and state changes are sent upwards. The sheer size of the system makes it virtually impossible to fully understand the details of its behaviour at the macro level. This is fuelled by unclarities that already exist at the micro level. We have solved the latter problem by formally describing the finite state machines in the mCRL2 process algebra. The translation has been implemented using the ASF+SDF "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.5324","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":"1101.5324","created_at":"2026-05-18T03:32:08.225300+00:00"},{"alias_kind":"arxiv_version","alias_value":"1101.5324v1","created_at":"2026-05-18T03:32:08.225300+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.5324","created_at":"2026-05-18T03:32:08.225300+00:00"},{"alias_kind":"pith_short_12","alias_value":"4ZFL2FADKYIU","created_at":"2026-05-18T12:26:20.644004+00:00"},{"alias_kind":"pith_short_16","alias_value":"4ZFL2FADKYIUX4DA","created_at":"2026-05-18T12:26:20.644004+00:00"},{"alias_kind":"pith_short_8","alias_value":"4ZFL2FAD","created_at":"2026-05-18T12:26:20.644004+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/4ZFL2FADKYIUX4DAG3SJAUUHGV","json":"https://pith.science/pith/4ZFL2FADKYIUX4DAG3SJAUUHGV.json","graph_json":"https://pith.science/api/pith-number/4ZFL2FADKYIUX4DAG3SJAUUHGV/graph.json","events_json":"https://pith.science/api/pith-number/4ZFL2FADKYIUX4DAG3SJAUUHGV/events.json","paper":"https://pith.science/paper/4ZFL2FAD"},"agent_actions":{"view_html":"https://pith.science/pith/4ZFL2FADKYIUX4DAG3SJAUUHGV","download_json":"https://pith.science/pith/4ZFL2FADKYIUX4DAG3SJAUUHGV.json","view_paper":"https://pith.science/paper/4ZFL2FAD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1101.5324&json=true","fetch_graph":"https://pith.science/api/pith-number/4ZFL2FADKYIUX4DAG3SJAUUHGV/graph.json","fetch_events":"https://pith.science/api/pith-number/4ZFL2FADKYIUX4DAG3SJAUUHGV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4ZFL2FADKYIUX4DAG3SJAUUHGV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4ZFL2FADKYIUX4DAG3SJAUUHGV/action/storage_attestation","attest_author":"https://pith.science/pith/4ZFL2FADKYIUX4DAG3SJAUUHGV/action/author_attestation","sign_citation":"https://pith.science/pith/4ZFL2FADKYIUX4DAG3SJAUUHGV/action/citation_signature","submit_replication":"https://pith.science/pith/4ZFL2FADKYIUX4DAG3SJAUUHGV/action/replication_record"}},"created_at":"2026-05-18T03:32:08.225300+00:00","updated_at":"2026-05-18T03:32:08.225300+00:00"}