{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:HCYUEQFPSZKT235RQC5CBXFTHR","short_pith_number":"pith:HCYUEQFP","schema_version":"1.0","canonical_sha256":"38b14240af96553d6fb180ba20dcb33c58a299e94b423f8e75803afc2b9f641e","source":{"kind":"arxiv","id":"2605.18688","version":1},"attestation_state":"computed","paper":{"title":"On Generalized Performance Evaluation and Generalized Controller Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PF","cs.SY","eess.SY"],"primary_cat":"cs.LO","authors_text":"Zining Cao","submitted_at":"2026-05-18T17:27:21Z","abstract_excerpt":"In this paper, we propose the frameworks of generalized performance evaluation and generalized controller synthesis. To this end, we give a true concurrent process calculus as the model of systems, and present a lattice-valued performance evaluation language as the performance specification of systems. We give a framework of generalized performance evaluation based on the process calculus and the performance evaluation language. We show that the several problems in computer science are special cases of generalized performance evaluation. A generalized performance evaluation algorithm is presen"},"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":"2605.18688","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-05-18T17:27:21Z","cross_cats_sorted":["cs.PF","cs.SY","eess.SY"],"title_canon_sha256":"1ceead5d4665f0552e65fde43954d2f12f6e07aed78c5527d320421f87e8014c","abstract_canon_sha256":"a8a601ca9428beda3a61edd2a1c04736ffab6e449a4c0eb70d182c6b89fe0f43"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:06:15.049504Z","signature_b64":"jEd8MUA6VAx0yfO7FfY09c2bC2tWuaxb7RtSp9BjnT6a9VxoTFcAUpYfb8bLUv/kU9JmLDBx4nGzGhGgK5QtAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"38b14240af96553d6fb180ba20dcb33c58a299e94b423f8e75803afc2b9f641e","last_reissued_at":"2026-05-20T00:06:15.048733Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:06:15.048733Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Generalized Performance Evaluation and Generalized Controller Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PF","cs.SY","eess.SY"],"primary_cat":"cs.LO","authors_text":"Zining Cao","submitted_at":"2026-05-18T17:27:21Z","abstract_excerpt":"In this paper, we propose the frameworks of generalized performance evaluation and generalized controller synthesis. To this end, we give a true concurrent process calculus as the model of systems, and present a lattice-valued performance evaluation language as the performance specification of systems. We give a framework of generalized performance evaluation based on the process calculus and the performance evaluation language. We show that the several problems in computer science are special cases of generalized performance evaluation. A generalized performance evaluation algorithm is presen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.18688","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.18688/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"claim_evidence","ran_at":"2026-05-20T00:01:59.103447Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"dc984dc96aad9dee22ef0e6ee06ae3a1c891c28c3c1fb9d5bbd08fd9524652e1"},"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":"2605.18688","created_at":"2026-05-20T00:06:15.048861+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.18688v1","created_at":"2026-05-20T00:06:15.048861+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.18688","created_at":"2026-05-20T00:06:15.048861+00:00"},{"alias_kind":"pith_short_12","alias_value":"HCYUEQFPSZKT","created_at":"2026-05-20T00:06:15.048861+00:00"},{"alias_kind":"pith_short_16","alias_value":"HCYUEQFPSZKT235R","created_at":"2026-05-20T00:06:15.048861+00:00"},{"alias_kind":"pith_short_8","alias_value":"HCYUEQFP","created_at":"2026-05-20T00:06:15.048861+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/HCYUEQFPSZKT235RQC5CBXFTHR","json":"https://pith.science/pith/HCYUEQFPSZKT235RQC5CBXFTHR.json","graph_json":"https://pith.science/api/pith-number/HCYUEQFPSZKT235RQC5CBXFTHR/graph.json","events_json":"https://pith.science/api/pith-number/HCYUEQFPSZKT235RQC5CBXFTHR/events.json","paper":"https://pith.science/paper/HCYUEQFP"},"agent_actions":{"view_html":"https://pith.science/pith/HCYUEQFPSZKT235RQC5CBXFTHR","download_json":"https://pith.science/pith/HCYUEQFPSZKT235RQC5CBXFTHR.json","view_paper":"https://pith.science/paper/HCYUEQFP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.18688&json=true","fetch_graph":"https://pith.science/api/pith-number/HCYUEQFPSZKT235RQC5CBXFTHR/graph.json","fetch_events":"https://pith.science/api/pith-number/HCYUEQFPSZKT235RQC5CBXFTHR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HCYUEQFPSZKT235RQC5CBXFTHR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HCYUEQFPSZKT235RQC5CBXFTHR/action/storage_attestation","attest_author":"https://pith.science/pith/HCYUEQFPSZKT235RQC5CBXFTHR/action/author_attestation","sign_citation":"https://pith.science/pith/HCYUEQFPSZKT235RQC5CBXFTHR/action/citation_signature","submit_replication":"https://pith.science/pith/HCYUEQFPSZKT235RQC5CBXFTHR/action/replication_record"}},"created_at":"2026-05-20T00:06:15.048861+00:00","updated_at":"2026-05-20T00:06:15.048861+00:00"}