{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:OLXAOM2WWZUQJKSRUJE34K7W7F","short_pith_number":"pith:OLXAOM2W","canonical_record":{"source":{"id":"1012.3704","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-16T18:10:26Z","cross_cats_sorted":[],"title_canon_sha256":"6a6ce49f88a6b2a1c3055662bd08c0fb32f7f00c6fae7af31691fe888edce23c","abstract_canon_sha256":"99cb20053b22e3b9761fdb71d4e744325e978b05d729099ce4d91b4bb2043176"},"schema_version":"1.0"},"canonical_sha256":"72ee073356b66904aa51a249be2bf6f97ca6c072cedbba54c4cdb71f00f6b664","source":{"kind":"arxiv","id":"1012.3704","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.3704","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"arxiv_version","alias_value":"1012.3704v1","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.3704","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"pith_short_12","alias_value":"OLXAOM2WWZUQ","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"OLXAOM2WWZUQJKSR","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"OLXAOM2W","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:OLXAOM2WWZUQJKSRUJE34K7W7F","target":"record","payload":{"canonical_record":{"source":{"id":"1012.3704","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-16T18:10:26Z","cross_cats_sorted":[],"title_canon_sha256":"6a6ce49f88a6b2a1c3055662bd08c0fb32f7f00c6fae7af31691fe888edce23c","abstract_canon_sha256":"99cb20053b22e3b9761fdb71d4e744325e978b05d729099ce4d91b4bb2043176"},"schema_version":"1.0"},"canonical_sha256":"72ee073356b66904aa51a249be2bf6f97ca6c072cedbba54c4cdb71f00f6b664","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:33:03.951665Z","signature_b64":"SljJafr34xiyIle/ts93KbjidbvC9Lf7ZGZZj2ui6a9gkXXp19kAjYFNHnZuO1ytXvr6car+LQdTL/UoQGmtDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72ee073356b66904aa51a249be2bf6f97ca6c072cedbba54c4cdb71f00f6b664","last_reissued_at":"2026-05-18T04:33:03.950994Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:33:03.950994Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1012.3704","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:33:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q6DTb9C4SbvLV/M6ZYcZ5B7O7VCC0tSnIsYW9y0rNaczMyKF2nRjWjgoXuQ7OhC4vILUEW4xZPo1nCZmEKOFBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:23:09.100390Z"},"content_sha256":"a67feda77be8bf04401bb9ebb74957c6bd02779d5fc087f5e51bbf5f5179ea62","schema_version":"1.0","event_id":"sha256:a67feda77be8bf04401bb9ebb74957c6bd02779d5fc087f5e51bbf5f5179ea62"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:OLXAOM2WWZUQJKSRUJE34K7W7F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Decidable Timeout based Extension of Propositional Linear Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Janardan Misra, Suman Roy","submitted_at":"2010-12-16T18:10:26Z","abstract_excerpt":"We develop a timeout based extension of propositional linear temporal logic (which we call TLTL) to specify timing properties of timeout based models of real time systems. TLTL formulas explicitly refer to a running global clock together with static timing variables as well as a dynamic variable abstracting the timeout behavior. We extend LTL with the capability to express timeout constraints. From the expressiveness view point, TLTL is not comparable with important known clock based real-time logics including TPTL, XCTL, and MTL, i.e., TLTL can specify certain properties, which cannot be spec"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.3704","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:33:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xgvqc7CadsdaPL0NdFT+nOLRye8vUW2esiTxNnwCSdpeQQfZ02f8I0RG7ycGgQK3QRFUnGj1pwrtcK7H474JCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:23:09.101321Z"},"content_sha256":"9e8682d14cf0c962bccf96d66cd6c90ffc9c90c6d2e35abf529d2ca7231e9b68","schema_version":"1.0","event_id":"sha256:9e8682d14cf0c962bccf96d66cd6c90ffc9c90c6d2e35abf529d2ca7231e9b68"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OLXAOM2WWZUQJKSRUJE34K7W7F/bundle.json","state_url":"https://pith.science/pith/OLXAOM2WWZUQJKSRUJE34K7W7F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OLXAOM2WWZUQJKSRUJE34K7W7F/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-08-03T19:23:09Z","links":{"resolver":"https://pith.science/pith/OLXAOM2WWZUQJKSRUJE34K7W7F","bundle":"https://pith.science/pith/OLXAOM2WWZUQJKSRUJE34K7W7F/bundle.json","state":"https://pith.science/pith/OLXAOM2WWZUQJKSRUJE34K7W7F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OLXAOM2WWZUQJKSRUJE34K7W7F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:OLXAOM2WWZUQJKSRUJE34K7W7F","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":"99cb20053b22e3b9761fdb71d4e744325e978b05d729099ce4d91b4bb2043176","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-16T18:10:26Z","title_canon_sha256":"6a6ce49f88a6b2a1c3055662bd08c0fb32f7f00c6fae7af31691fe888edce23c"},"schema_version":"1.0","source":{"id":"1012.3704","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.3704","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"arxiv_version","alias_value":"1012.3704v1","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.3704","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"pith_short_12","alias_value":"OLXAOM2WWZUQ","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"OLXAOM2WWZUQJKSR","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"OLXAOM2W","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:9e8682d14cf0c962bccf96d66cd6c90ffc9c90c6d2e35abf529d2ca7231e9b68","target":"graph","created_at":"2026-05-18T04:33:03Z","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":"We develop a timeout based extension of propositional linear temporal logic (which we call TLTL) to specify timing properties of timeout based models of real time systems. TLTL formulas explicitly refer to a running global clock together with static timing variables as well as a dynamic variable abstracting the timeout behavior. We extend LTL with the capability to express timeout constraints. From the expressiveness view point, TLTL is not comparable with important known clock based real-time logics including TPTL, XCTL, and MTL, i.e., TLTL can specify certain properties, which cannot be spec","authors_text":"Janardan Misra, Suman Roy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-16T18:10:26Z","title":"A Decidable Timeout based Extension of Propositional Linear Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.3704","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:a67feda77be8bf04401bb9ebb74957c6bd02779d5fc087f5e51bbf5f5179ea62","target":"record","created_at":"2026-05-18T04:33:03Z","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":"99cb20053b22e3b9761fdb71d4e744325e978b05d729099ce4d91b4bb2043176","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-16T18:10:26Z","title_canon_sha256":"6a6ce49f88a6b2a1c3055662bd08c0fb32f7f00c6fae7af31691fe888edce23c"},"schema_version":"1.0","source":{"id":"1012.3704","kind":"arxiv","version":1}},"canonical_sha256":"72ee073356b66904aa51a249be2bf6f97ca6c072cedbba54c4cdb71f00f6b664","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72ee073356b66904aa51a249be2bf6f97ca6c072cedbba54c4cdb71f00f6b664","first_computed_at":"2026-05-18T04:33:03.950994Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:33:03.950994Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SljJafr34xiyIle/ts93KbjidbvC9Lf7ZGZZj2ui6a9gkXXp19kAjYFNHnZuO1ytXvr6car+LQdTL/UoQGmtDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:33:03.951665Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.3704","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a67feda77be8bf04401bb9ebb74957c6bd02779d5fc087f5e51bbf5f5179ea62","sha256:9e8682d14cf0c962bccf96d66cd6c90ffc9c90c6d2e35abf529d2ca7231e9b68"],"state_sha256":"c005d98aa3ec78c9cd0cef178fa2ee8245eb965b8946eccb7a499e8c6351fa92"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lg+jK2+XQF73XeoH4Jo/hzd+SpiQOEeNOthCXCDvwKYNlvw+oYLgvCGJJw6zZD5GJ82i2tisClmcNmC4XAbAAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T19:23:09.112001Z","bundle_sha256":"2c9395a98b515a1f93b5aef875d794d48ea0212c9eecb8bf3b924b3883275139"}}