{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:57RRJ2ESY6AK5US2GKTQVDNIUD","short_pith_number":"pith:57RRJ2ES","canonical_record":{"source":{"id":"1905.11125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-05-27T11:21:21Z","cross_cats_sorted":[],"title_canon_sha256":"4bc5e104d8f4300e3e62f2121f7258e491da5918d0b897bcdb589cf164b07c2f","abstract_canon_sha256":"b3fdeb53639e52f076f23d8a989b323e3bfe46750d1b751c3ed2cb206a285bf8"},"schema_version":"1.0"},"canonical_sha256":"efe314e892c780aed25a32a70a8da8a0d1f762c26460e2410497ae4a8805ba84","source":{"kind":"arxiv","id":"1905.11125","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.11125","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"arxiv_version","alias_value":"1905.11125v1","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.11125","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"pith_short_12","alias_value":"57RRJ2ESY6AK","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"57RRJ2ESY6AK5US2","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"57RRJ2ES","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:57RRJ2ESY6AK5US2GKTQVDNIUD","target":"record","payload":{"canonical_record":{"source":{"id":"1905.11125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-05-27T11:21:21Z","cross_cats_sorted":[],"title_canon_sha256":"4bc5e104d8f4300e3e62f2121f7258e491da5918d0b897bcdb589cf164b07c2f","abstract_canon_sha256":"b3fdeb53639e52f076f23d8a989b323e3bfe46750d1b751c3ed2cb206a285bf8"},"schema_version":"1.0"},"canonical_sha256":"efe314e892c780aed25a32a70a8da8a0d1f762c26460e2410497ae4a8805ba84","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:02.851419Z","signature_b64":"2pdety6Ukk4pMnlrPj7GrlrZeNz15KdIlL26ZJ67IMeLyOe/lQX4eD4iiRIRpzHWkTW1Zy5wfEnilc3weNV3DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efe314e892c780aed25a32a70a8da8a0d1f762c26460e2410497ae4a8805ba84","last_reissued_at":"2026-05-17T23:45:02.850808Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:02.850808Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.11125","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-17T23:45:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/z97RljoqGtTy2MI+9DlZIXqJ3U3liPHGf7fSs2PRKBsNUoDEVWA9nfKgMA2ckxpTEuZc/Mn/4VIlWGv1wQzBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:28:55.767949Z"},"content_sha256":"ce6fa051110a4aaff6723023f66e0fe06321fdc933724b1ac9425d64688ae185","schema_version":"1.0","event_id":"sha256:ce6fa051110a4aaff6723023f66e0fe06321fdc933724b1ac9425d64688ae185"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:57RRJ2ESY6AK5US2GKTQVDNIUD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Timed Scope-bounded Context-sensitive Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Ashutosh Trivedi, Devendra. Bhave, Ramchandra Phawade, S. N. Krishna","submitted_at":"2019-05-27T11:21:21Z","abstract_excerpt":"In (DLT 2016) we studied timed context sensitive languages characterized by multiple stack push down automata (MPA), with an explicit bound on number of stages where in each stage at most one stack is used (k-round MPA).\n  In this paper, we continue our work on timed MPA and study a subclass in which a symbol corresponding to a stack being pushed in it must be popped within fixed number of contexts of that stack---scope-bounded push-down automata with multiple stacks (k-scope MPA). We use Visibly Push-down Alphabet and Event Clocks to show that timed k-scope MPA have decidable reachability pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.11125","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-17T23:45:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fX+MBrXRRgGKu30DaU67GKEenMMN0JauDNGO7/5KyJgXmHluRsQm+Nito3+A1BdcoZJhpQjnfVA+KCZeBtX8Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:28:55.768297Z"},"content_sha256":"f1282b68b880f07298b8958a0f01cf9785b9c8cd848282e20a64d66f591d21ca","schema_version":"1.0","event_id":"sha256:f1282b68b880f07298b8958a0f01cf9785b9c8cd848282e20a64d66f591d21ca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/57RRJ2ESY6AK5US2GKTQVDNIUD/bundle.json","state_url":"https://pith.science/pith/57RRJ2ESY6AK5US2GKTQVDNIUD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/57RRJ2ESY6AK5US2GKTQVDNIUD/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-06-01T08:28:55Z","links":{"resolver":"https://pith.science/pith/57RRJ2ESY6AK5US2GKTQVDNIUD","bundle":"https://pith.science/pith/57RRJ2ESY6AK5US2GKTQVDNIUD/bundle.json","state":"https://pith.science/pith/57RRJ2ESY6AK5US2GKTQVDNIUD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/57RRJ2ESY6AK5US2GKTQVDNIUD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:57RRJ2ESY6AK5US2GKTQVDNIUD","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":"b3fdeb53639e52f076f23d8a989b323e3bfe46750d1b751c3ed2cb206a285bf8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-05-27T11:21:21Z","title_canon_sha256":"4bc5e104d8f4300e3e62f2121f7258e491da5918d0b897bcdb589cf164b07c2f"},"schema_version":"1.0","source":{"id":"1905.11125","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.11125","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"arxiv_version","alias_value":"1905.11125v1","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.11125","created_at":"2026-05-17T23:45:02Z"},{"alias_kind":"pith_short_12","alias_value":"57RRJ2ESY6AK","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"57RRJ2ESY6AK5US2","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"57RRJ2ES","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:f1282b68b880f07298b8958a0f01cf9785b9c8cd848282e20a64d66f591d21ca","target":"graph","created_at":"2026-05-17T23:45:02Z","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":"In (DLT 2016) we studied timed context sensitive languages characterized by multiple stack push down automata (MPA), with an explicit bound on number of stages where in each stage at most one stack is used (k-round MPA).\n  In this paper, we continue our work on timed MPA and study a subclass in which a symbol corresponding to a stack being pushed in it must be popped within fixed number of contexts of that stack---scope-bounded push-down automata with multiple stacks (k-scope MPA). We use Visibly Push-down Alphabet and Event Clocks to show that timed k-scope MPA have decidable reachability pro","authors_text":"Ashutosh Trivedi, Devendra. Bhave, Ramchandra Phawade, S. N. Krishna","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-05-27T11:21:21Z","title":"On Timed Scope-bounded Context-sensitive Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.11125","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:ce6fa051110a4aaff6723023f66e0fe06321fdc933724b1ac9425d64688ae185","target":"record","created_at":"2026-05-17T23:45:02Z","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":"b3fdeb53639e52f076f23d8a989b323e3bfe46750d1b751c3ed2cb206a285bf8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-05-27T11:21:21Z","title_canon_sha256":"4bc5e104d8f4300e3e62f2121f7258e491da5918d0b897bcdb589cf164b07c2f"},"schema_version":"1.0","source":{"id":"1905.11125","kind":"arxiv","version":1}},"canonical_sha256":"efe314e892c780aed25a32a70a8da8a0d1f762c26460e2410497ae4a8805ba84","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efe314e892c780aed25a32a70a8da8a0d1f762c26460e2410497ae4a8805ba84","first_computed_at":"2026-05-17T23:45:02.850808Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:02.850808Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2pdety6Ukk4pMnlrPj7GrlrZeNz15KdIlL26ZJ67IMeLyOe/lQX4eD4iiRIRpzHWkTW1Zy5wfEnilc3weNV3DA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:02.851419Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.11125","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce6fa051110a4aaff6723023f66e0fe06321fdc933724b1ac9425d64688ae185","sha256:f1282b68b880f07298b8958a0f01cf9785b9c8cd848282e20a64d66f591d21ca"],"state_sha256":"be22d46f1888265b01245651a4a7b89bd077d2e771961a49343b6f662a3de6af"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u7J4RXmYVmNPaBcJtv9DDbW2oKeOs2vs84lA6WwuGJmIy7xJq9c6PxSwA87INxwuwNfHwcvtTZvn58VmWWLSDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T08:28:55.770305Z","bundle_sha256":"813c51f763c001ae674f824971d652b58e288a20b6f443edc4fbccf325664225"}}