{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:NJDUPGNTUO4OP3G33HTXRHTP3F","short_pith_number":"pith:NJDUPGNT","canonical_record":{"source":{"id":"1011.0494","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-02T01:29:51Z","cross_cats_sorted":["cs.CE","q-bio.QM"],"title_canon_sha256":"8ef97d1eb4ad16497f5e2cd8a4a9d118c74e8af56d8c3cb751cfecfee6ea68db","abstract_canon_sha256":"967d438008610f0ce7af29b3e0eac02880ac4b9d49cd3cdeb7d2789459eae484"},"schema_version":"1.0"},"canonical_sha256":"6a474799b3a3b8e7ecdbd9e7789e6fd9668a5c0d93a1e69379fcea2b193c44a0","source":{"kind":"arxiv","id":"1011.0494","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.0494","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"arxiv_version","alias_value":"1011.0494v1","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0494","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"pith_short_12","alias_value":"NJDUPGNTUO4O","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"NJDUPGNTUO4OP3G3","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"NJDUPGNT","created_at":"2026-05-18T12:26:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:NJDUPGNTUO4OP3G33HTXRHTP3F","target":"record","payload":{"canonical_record":{"source":{"id":"1011.0494","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-02T01:29:51Z","cross_cats_sorted":["cs.CE","q-bio.QM"],"title_canon_sha256":"8ef97d1eb4ad16497f5e2cd8a4a9d118c74e8af56d8c3cb751cfecfee6ea68db","abstract_canon_sha256":"967d438008610f0ce7af29b3e0eac02880ac4b9d49cd3cdeb7d2789459eae484"},"schema_version":"1.0"},"canonical_sha256":"6a474799b3a3b8e7ecdbd9e7789e6fd9668a5c0d93a1e69379fcea2b193c44a0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:37:21.546719Z","signature_b64":"8cTMAYo2NtdBXDufDDacuDHs3+81PiFkMZ0xlWPHOfxYjS6ixsJ7K3IqXUZFZxthyZGbkOP2Hg4f5WYDwBGkAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6a474799b3a3b8e7ecdbd9e7789e6fd9668a5c0d93a1e69379fcea2b193c44a0","last_reissued_at":"2026-05-18T04:37:21.546041Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:37:21.546041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1011.0494","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:37:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xM5d943SX3lQDjIaLuIWtjTfMRADqX/crbXCIfFdQ8qz2JLtN2ryAaG9Gj8FmQ/8I/uTsEwOGtXg1v0VBKA3AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T18:13:50.127607Z"},"content_sha256":"bbf9bb38d016fbee44d084fdbfcb1fe50e8ecf901eaa14ae834213e026e7e504","schema_version":"1.0","event_id":"sha256:bbf9bb38d016fbee44d084fdbfcb1fe50e8ecf901eaa14ae834213e026e7e504"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:NJDUPGNTUO4OP3G33HTXRHTP3F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hybrid Calculus of Wrapped Compartments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE","q-bio.QM"],"primary_cat":"cs.PL","authors_text":"Angelo Troina (Dipartimento di Informatica, Elena Grassi (Dipartimento di Informatica, Eva Sciacca (Dipartimento di Informatica, Ferruccio Damiani (Dipartimento di Informatica, Mario Coppo (Dipartimento di Informatica, Maurizio Drocco (Dipartimento di Informatica, Salvatore Spinella (Dipartimento di Informatica, Universit\\`a di Torino)","submitted_at":"2010-11-02T01:29:51Z","abstract_excerpt":"The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of ordinary differential equations (ODEs). Alternative approaches based on formal calculi, often derived from process algebras or term rewriting systems, provide a quite complementary way to analyze the behaviour of biological systems. These calculi allow to cope in a natural way with notions like compartments and membranes, which are not easy (sometimes impossible) to handle with purely numerical approaches, and are often based on stochastic simulation methods. Recently, it has also becom"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.0494","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:37:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7LU0tLcsgMrWNuBxrdfexnU2+jubl6XX2OzlCK0YhtSHAep/QsuT2wKkzjngTcYsv/LJUDYTFyvylYCNod3+AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T18:13:50.128269Z"},"content_sha256":"497f2a856f3b57e4cf72aac113a68d49bf64302e8e052286adad7fc21517ee41","schema_version":"1.0","event_id":"sha256:497f2a856f3b57e4cf72aac113a68d49bf64302e8e052286adad7fc21517ee41"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NJDUPGNTUO4OP3G33HTXRHTP3F/bundle.json","state_url":"https://pith.science/pith/NJDUPGNTUO4OP3G33HTXRHTP3F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NJDUPGNTUO4OP3G33HTXRHTP3F/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-31T18:13:50Z","links":{"resolver":"https://pith.science/pith/NJDUPGNTUO4OP3G33HTXRHTP3F","bundle":"https://pith.science/pith/NJDUPGNTUO4OP3G33HTXRHTP3F/bundle.json","state":"https://pith.science/pith/NJDUPGNTUO4OP3G33HTXRHTP3F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NJDUPGNTUO4OP3G33HTXRHTP3F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:NJDUPGNTUO4OP3G33HTXRHTP3F","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":"967d438008610f0ce7af29b3e0eac02880ac4b9d49cd3cdeb7d2789459eae484","cross_cats_sorted":["cs.CE","q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-02T01:29:51Z","title_canon_sha256":"8ef97d1eb4ad16497f5e2cd8a4a9d118c74e8af56d8c3cb751cfecfee6ea68db"},"schema_version":"1.0","source":{"id":"1011.0494","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.0494","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"arxiv_version","alias_value":"1011.0494v1","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0494","created_at":"2026-05-18T04:37:21Z"},{"alias_kind":"pith_short_12","alias_value":"NJDUPGNTUO4O","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"NJDUPGNTUO4OP3G3","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"NJDUPGNT","created_at":"2026-05-18T12:26:10Z"}],"graph_snapshots":[{"event_id":"sha256:497f2a856f3b57e4cf72aac113a68d49bf64302e8e052286adad7fc21517ee41","target":"graph","created_at":"2026-05-18T04:37:21Z","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 modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of ordinary differential equations (ODEs). Alternative approaches based on formal calculi, often derived from process algebras or term rewriting systems, provide a quite complementary way to analyze the behaviour of biological systems. These calculi allow to cope in a natural way with notions like compartments and membranes, which are not easy (sometimes impossible) to handle with purely numerical approaches, and are often based on stochastic simulation methods. Recently, it has also becom","authors_text":"Angelo Troina (Dipartimento di Informatica, Elena Grassi (Dipartimento di Informatica, Eva Sciacca (Dipartimento di Informatica, Ferruccio Damiani (Dipartimento di Informatica, Mario Coppo (Dipartimento di Informatica, Maurizio Drocco (Dipartimento di Informatica, Salvatore Spinella (Dipartimento di Informatica, Universit\\`a di Torino)","cross_cats":["cs.CE","q-bio.QM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-02T01:29:51Z","title":"Hybrid Calculus of Wrapped Compartments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.0494","kind":"arxiv","version":1},"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:bbf9bb38d016fbee44d084fdbfcb1fe50e8ecf901eaa14ae834213e026e7e504","target":"record","created_at":"2026-05-18T04:37:21Z","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":"967d438008610f0ce7af29b3e0eac02880ac4b9d49cd3cdeb7d2789459eae484","cross_cats_sorted":["cs.CE","q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-02T01:29:51Z","title_canon_sha256":"8ef97d1eb4ad16497f5e2cd8a4a9d118c74e8af56d8c3cb751cfecfee6ea68db"},"schema_version":"1.0","source":{"id":"1011.0494","kind":"arxiv","version":1}},"canonical_sha256":"6a474799b3a3b8e7ecdbd9e7789e6fd9668a5c0d93a1e69379fcea2b193c44a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a474799b3a3b8e7ecdbd9e7789e6fd9668a5c0d93a1e69379fcea2b193c44a0","first_computed_at":"2026-05-18T04:37:21.546041Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:37:21.546041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8cTMAYo2NtdBXDufDDacuDHs3+81PiFkMZ0xlWPHOfxYjS6ixsJ7K3IqXUZFZxthyZGbkOP2Hg4f5WYDwBGkAw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:37:21.546719Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.0494","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bbf9bb38d016fbee44d084fdbfcb1fe50e8ecf901eaa14ae834213e026e7e504","sha256:497f2a856f3b57e4cf72aac113a68d49bf64302e8e052286adad7fc21517ee41"],"state_sha256":"0930102efcce77d8da3d41512a64f214eb129cf55ec8a0b259fb824f3ece816a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gTqZUzBBKgYZfTQvQjxKnUN4O69Ui465pSCGndPjIS1RLyj6pLQv2xdNLZV37rQlVCtwbz6k9HhwGEEW3J+ABg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T18:13:50.131733Z","bundle_sha256":"25e2772ce9fe85343ac4481cc9fba0e8ecc2be24e449499b4551a1bc5d0b503f"}}