{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:TAPP7LETSTRUFK5AA6XNLHIUQ6","short_pith_number":"pith:TAPP7LET","canonical_record":{"source":{"id":"1406.1567","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-06T01:50:20Z","cross_cats_sorted":["cs.CE","cs.PF"],"title_canon_sha256":"a1dba10ad3b9985c15e052898e1842a5f30f3e59b9bd41eecaacb7a552f08f72","abstract_canon_sha256":"9454ec4d3486fd85abda3a2704cca51b80a8c1c327ede49e943d6b7735e88a6e"},"schema_version":"1.0"},"canonical_sha256":"981effac9394e342aba007aed59d14878d1a736954e0c9b28da0d4c0a6855017","source":{"kind":"arxiv","id":"1406.1567","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.1567","created_at":"2026-05-18T02:50:22Z"},{"alias_kind":"arxiv_version","alias_value":"1406.1567v1","created_at":"2026-05-18T02:50:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.1567","created_at":"2026-05-18T02:50:22Z"},{"alias_kind":"pith_short_12","alias_value":"TAPP7LETSTRU","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"TAPP7LETSTRUFK5A","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"TAPP7LET","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:TAPP7LETSTRUFK5AA6XNLHIUQ6","target":"record","payload":{"canonical_record":{"source":{"id":"1406.1567","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-06T01:50:20Z","cross_cats_sorted":["cs.CE","cs.PF"],"title_canon_sha256":"a1dba10ad3b9985c15e052898e1842a5f30f3e59b9bd41eecaacb7a552f08f72","abstract_canon_sha256":"9454ec4d3486fd85abda3a2704cca51b80a8c1c327ede49e943d6b7735e88a6e"},"schema_version":"1.0"},"canonical_sha256":"981effac9394e342aba007aed59d14878d1a736954e0c9b28da0d4c0a6855017","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:22.241218Z","signature_b64":"C33I6N+cTBiVBIVdrMZi/nZEBp/SC6Kw3nkiSbbqEPo4rCIo4WlCIOFl7YX6x8SRS3cqWNv6wx99/C8wrPkZCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"981effac9394e342aba007aed59d14878d1a736954e0c9b28da0d4c0a6855017","last_reissued_at":"2026-05-18T02:50:22.240532Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:22.240532Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.1567","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-18T02:50:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hlw9ZEkIjYH9UAb1oHw/CrGT6dL/D0FH3xSMLyJlAZfqfUP7Rz8/N+I1uWiv2ZJMkfmfdFC0HIojCT33hnq1Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T23:38:54.583913Z"},"content_sha256":"e2efa45aa231bdc710233b7146e19248489ee8effb32fb9f8d54303aa015d2ea","schema_version":"1.0","event_id":"sha256:e2efa45aa231bdc710233b7146e19248489ee8effb32fb9f8d54303aa015d2ea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:TAPP7LETSTRUFK5AA6XNLHIUQ6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE","cs.PF"],"primary_cat":"cs.LO","authors_text":"Luca Bortolussi (University of Trieste), Nathalie Bertrand (INRIA, Rennes)","submitted_at":"2014-06-06T01:50:20Z","abstract_excerpt":"This volume contains the proceedings of the Twelfth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), held in Grenoble, France, on 12 and 13 April, 2014.  QAPL 2014 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS). The central theme of the workshop is that of quantitative aspects of computation. These aspects are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust), and play an impor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.1567","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-18T02:50:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k95QbLmn2nqEai0KbIWFDozOkYvqe8CJxXHKsKshUhwrivulLOeYMNcySWbBalx+ZvNTbhOSJ4wkrEoRRAFxBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T23:38:54.584284Z"},"content_sha256":"c90febd3a4653e13c89636317ab370714c33af8c1cd88a3a9a406972f6d25971","schema_version":"1.0","event_id":"sha256:c90febd3a4653e13c89636317ab370714c33af8c1cd88a3a9a406972f6d25971"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TAPP7LETSTRUFK5AA6XNLHIUQ6/bundle.json","state_url":"https://pith.science/pith/TAPP7LETSTRUFK5AA6XNLHIUQ6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TAPP7LETSTRUFK5AA6XNLHIUQ6/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-07-03T23:38:54Z","links":{"resolver":"https://pith.science/pith/TAPP7LETSTRUFK5AA6XNLHIUQ6","bundle":"https://pith.science/pith/TAPP7LETSTRUFK5AA6XNLHIUQ6/bundle.json","state":"https://pith.science/pith/TAPP7LETSTRUFK5AA6XNLHIUQ6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TAPP7LETSTRUFK5AA6XNLHIUQ6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:TAPP7LETSTRUFK5AA6XNLHIUQ6","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":"9454ec4d3486fd85abda3a2704cca51b80a8c1c327ede49e943d6b7735e88a6e","cross_cats_sorted":["cs.CE","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-06T01:50:20Z","title_canon_sha256":"a1dba10ad3b9985c15e052898e1842a5f30f3e59b9bd41eecaacb7a552f08f72"},"schema_version":"1.0","source":{"id":"1406.1567","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.1567","created_at":"2026-05-18T02:50:22Z"},{"alias_kind":"arxiv_version","alias_value":"1406.1567v1","created_at":"2026-05-18T02:50:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.1567","created_at":"2026-05-18T02:50:22Z"},{"alias_kind":"pith_short_12","alias_value":"TAPP7LETSTRU","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"TAPP7LETSTRUFK5A","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"TAPP7LET","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:c90febd3a4653e13c89636317ab370714c33af8c1cd88a3a9a406972f6d25971","target":"graph","created_at":"2026-05-18T02:50:22Z","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":"This volume contains the proceedings of the Twelfth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), held in Grenoble, France, on 12 and 13 April, 2014.  QAPL 2014 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS). The central theme of the workshop is that of quantitative aspects of computation. These aspects are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust), and play an impor","authors_text":"Luca Bortolussi (University of Trieste), Nathalie Bertrand (INRIA, Rennes)","cross_cats":["cs.CE","cs.PF"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-06T01:50:20Z","title":"Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.1567","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:e2efa45aa231bdc710233b7146e19248489ee8effb32fb9f8d54303aa015d2ea","target":"record","created_at":"2026-05-18T02:50:22Z","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":"9454ec4d3486fd85abda3a2704cca51b80a8c1c327ede49e943d6b7735e88a6e","cross_cats_sorted":["cs.CE","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-06T01:50:20Z","title_canon_sha256":"a1dba10ad3b9985c15e052898e1842a5f30f3e59b9bd41eecaacb7a552f08f72"},"schema_version":"1.0","source":{"id":"1406.1567","kind":"arxiv","version":1}},"canonical_sha256":"981effac9394e342aba007aed59d14878d1a736954e0c9b28da0d4c0a6855017","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"981effac9394e342aba007aed59d14878d1a736954e0c9b28da0d4c0a6855017","first_computed_at":"2026-05-18T02:50:22.240532Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:22.240532Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C33I6N+cTBiVBIVdrMZi/nZEBp/SC6Kw3nkiSbbqEPo4rCIo4WlCIOFl7YX6x8SRS3cqWNv6wx99/C8wrPkZCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:22.241218Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.1567","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e2efa45aa231bdc710233b7146e19248489ee8effb32fb9f8d54303aa015d2ea","sha256:c90febd3a4653e13c89636317ab370714c33af8c1cd88a3a9a406972f6d25971"],"state_sha256":"b4f246a71251b258d1852a28ee412f707a6133b41e8f047c8a4ca1b695fd4d0d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uteLEpB4w+KWswBdWHQBeShoLJU8LHExcxVAoVDU/TC4fGbXnWF4PEGzenFhYgKKu7JoLY5a3Ypyj1Nh7+ypCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T23:38:54.587780Z","bundle_sha256":"3dbe238d413ae32e37d10641e5f1cb7e5db418765dbd432ed50580c51ee817dc"}}