{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:CMDCDS5MIZ7AO4TW5KN3A2BCAE","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":"7662a5320eee5199659f0ed88d5cff70a0506121af15d4eaa94e8b55545168b3","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2009-10-08T20:15:51Z","title_canon_sha256":"27a8f1d897c0e464093f4320002d63df11ebb52ca79b216752822b99206c4113"},"schema_version":"1.0","source":{"id":"0910.1605","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0910.1605","created_at":"2026-05-18T01:09:24Z"},{"alias_kind":"arxiv_version","alias_value":"0910.1605v2","created_at":"2026-05-18T01:09:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0910.1605","created_at":"2026-05-18T01:09:24Z"},{"alias_kind":"pith_short_12","alias_value":"CMDCDS5MIZ7A","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"CMDCDS5MIZ7AO4TW","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"CMDCDS5M","created_at":"2026-05-18T12:25:59Z"}],"graph_snapshots":[{"event_id":"sha256:a4968127c8c444e374ab8cdfcb3481b9dc6636ed3be4c33c630056680846ce51","target":"graph","created_at":"2026-05-18T01:09:24Z","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":"The second international workshop on Computational Models for Cell Processes (ComProc 2009) took place on November 3, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009. The workshop was jointly organized with the EC-MOAN project. This volume contains the final versions of all contributions accepted for presentation at the workshop.","authors_text":"Erik de Vink (Eindhoven University of Technology, Finland), Ion Petre ({\\AA}bo Akademi University, Ralph-Johan Back ({\\AA}bo Akademi University, the Netherlands)","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2009-10-08T20:15:51Z","title":"Proceedings Second International Workshop on Computational Models for Cell Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0910.1605","kind":"arxiv","version":2},"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:04673013cee693699ecc671b94bde535d12437cd2f0a46d1766af51b1fbc479e","target":"record","created_at":"2026-05-18T01:09:24Z","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":"7662a5320eee5199659f0ed88d5cff70a0506121af15d4eaa94e8b55545168b3","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CE","submitted_at":"2009-10-08T20:15:51Z","title_canon_sha256":"27a8f1d897c0e464093f4320002d63df11ebb52ca79b216752822b99206c4113"},"schema_version":"1.0","source":{"id":"0910.1605","kind":"arxiv","version":2}},"canonical_sha256":"130621cbac467e077276ea9bb06822012737a8977052349f1d0acae16c9a71d3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"130621cbac467e077276ea9bb06822012737a8977052349f1d0acae16c9a71d3","first_computed_at":"2026-05-18T01:09:24.203711Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:24.203711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WMROXXNudylabtUPiKZrMm5f8/PYY4wWuFr4ycQsJDCoQIpUbB7V1X3RkrlkAA9Q/r+p6Z4Ketvm4XEDvgfrBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:24.204142Z","signed_message":"canonical_sha256_bytes"},"source_id":"0910.1605","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:04673013cee693699ecc671b94bde535d12437cd2f0a46d1766af51b1fbc479e","sha256:a4968127c8c444e374ab8cdfcb3481b9dc6636ed3be4c33c630056680846ce51"],"state_sha256":"22087564cd723be77fd9119264ce5c79193aff4e25ae8ebe00b1b2477fd2f1f1"}