{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:4KSQAFHIM5DZGEOWHBQ2GBSX7R","short_pith_number":"pith:4KSQAFHI","canonical_record":{"source":{"id":"1305.6115","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-27T05:41:13Z","cross_cats_sorted":[],"title_canon_sha256":"f9749cb385bb99aa92e6e5afcb2ad595979dbcb7ad34beeda415addb4dec7c26","abstract_canon_sha256":"2277d84e97f3fb9724dea5b40fa59ef7ec59c321a02edb9c023a237d9a7e171f"},"schema_version":"1.0"},"canonical_sha256":"e2a50014e867479311d63861a30657fc72481b080b718cfb9d19137eb36b8184","source":{"kind":"arxiv","id":"1305.6115","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.6115","created_at":"2026-05-18T03:24:52Z"},{"alias_kind":"arxiv_version","alias_value":"1305.6115v1","created_at":"2026-05-18T03:24:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.6115","created_at":"2026-05-18T03:24:52Z"},{"alias_kind":"pith_short_12","alias_value":"4KSQAFHIM5DZ","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4KSQAFHIM5DZGEOW","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4KSQAFHI","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:4KSQAFHIM5DZGEOWHBQ2GBSX7R","target":"record","payload":{"canonical_record":{"source":{"id":"1305.6115","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-27T05:41:13Z","cross_cats_sorted":[],"title_canon_sha256":"f9749cb385bb99aa92e6e5afcb2ad595979dbcb7ad34beeda415addb4dec7c26","abstract_canon_sha256":"2277d84e97f3fb9724dea5b40fa59ef7ec59c321a02edb9c023a237d9a7e171f"},"schema_version":"1.0"},"canonical_sha256":"e2a50014e867479311d63861a30657fc72481b080b718cfb9d19137eb36b8184","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:24:52.184140Z","signature_b64":"46CEV5SUxoOWJJlmzhbXmAjFyHExDWzn5tPUdi5Q+ZiW74o8Fq4JwHpVvDBA2r03r0RG35EgqyEL85VsXoJEBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2a50014e867479311d63861a30657fc72481b080b718cfb9d19137eb36b8184","last_reissued_at":"2026-05-18T03:24:52.183645Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:24:52.183645Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1305.6115","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-18T03:24:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fdzn3HQI+05zWWvkzQZGVk0uBgpoPfc6ryPHfd5vJLXA+BoasULLYAMdcrDPv1cpYDW6x4JqxNnWGvhkYrNCDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T16:20:41.296016Z"},"content_sha256":"e1f72a6029b55476583c156e27ca567e9058ef6536f4d888f28aff004439ce25","schema_version":"1.0","event_id":"sha256:e1f72a6029b55476583c156e27ca567e9058ef6536f4d888f28aff004439ce25"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:4KSQAFHIM5DZGEOWHBQ2GBSX7R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bisimilarity and refinement for hybrid(ised) logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexandre Madeira (Haslab-INESC TEC, Lu\\'is Soares Barbosa (Haslab-INESC TEC, Manuel A. Martins (CIDMA - Math. Department U. Aveiro), Universidade do Minho)","submitted_at":"2013-05-27T05:41:13Z","abstract_excerpt":"The complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such systems may be represented by transition systems whose nodes correspond to the different configurations they may assume. Therefore, each node is en- dowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. Hybrid logics, which add to the modal de"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.6115","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-18T03:24:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6qolFdTD2x12Mz9JqwWSwKZx2Rtzst569O+0irZfzBtzwUcrsIak0BRVSQM1Pra5Yvy2sAQuGTdW/bK7k3mrCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T16:20:41.296375Z"},"content_sha256":"8a493fe9f9b88a44b8d0432a9828f57b7f7e80c32e357b6a0efef4704ba18af5","schema_version":"1.0","event_id":"sha256:8a493fe9f9b88a44b8d0432a9828f57b7f7e80c32e357b6a0efef4704ba18af5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4KSQAFHIM5DZGEOWHBQ2GBSX7R/bundle.json","state_url":"https://pith.science/pith/4KSQAFHIM5DZGEOWHBQ2GBSX7R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4KSQAFHIM5DZGEOWHBQ2GBSX7R/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-02T16:20:41Z","links":{"resolver":"https://pith.science/pith/4KSQAFHIM5DZGEOWHBQ2GBSX7R","bundle":"https://pith.science/pith/4KSQAFHIM5DZGEOWHBQ2GBSX7R/bundle.json","state":"https://pith.science/pith/4KSQAFHIM5DZGEOWHBQ2GBSX7R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4KSQAFHIM5DZGEOWHBQ2GBSX7R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:4KSQAFHIM5DZGEOWHBQ2GBSX7R","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":"2277d84e97f3fb9724dea5b40fa59ef7ec59c321a02edb9c023a237d9a7e171f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-27T05:41:13Z","title_canon_sha256":"f9749cb385bb99aa92e6e5afcb2ad595979dbcb7ad34beeda415addb4dec7c26"},"schema_version":"1.0","source":{"id":"1305.6115","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.6115","created_at":"2026-05-18T03:24:52Z"},{"alias_kind":"arxiv_version","alias_value":"1305.6115v1","created_at":"2026-05-18T03:24:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.6115","created_at":"2026-05-18T03:24:52Z"},{"alias_kind":"pith_short_12","alias_value":"4KSQAFHIM5DZ","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4KSQAFHIM5DZGEOW","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4KSQAFHI","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:8a493fe9f9b88a44b8d0432a9828f57b7f7e80c32e357b6a0efef4704ba18af5","target":"graph","created_at":"2026-05-18T03:24:52Z","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 complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such systems may be represented by transition systems whose nodes correspond to the different configurations they may assume. Therefore, each node is en- dowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. Hybrid logics, which add to the modal de","authors_text":"Alexandre Madeira (Haslab-INESC TEC, Lu\\'is Soares Barbosa (Haslab-INESC TEC, Manuel A. Martins (CIDMA - Math. Department U. Aveiro), Universidade do Minho)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-27T05:41:13Z","title":"Bisimilarity and refinement for hybrid(ised) logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.6115","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:e1f72a6029b55476583c156e27ca567e9058ef6536f4d888f28aff004439ce25","target":"record","created_at":"2026-05-18T03:24:52Z","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":"2277d84e97f3fb9724dea5b40fa59ef7ec59c321a02edb9c023a237d9a7e171f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-27T05:41:13Z","title_canon_sha256":"f9749cb385bb99aa92e6e5afcb2ad595979dbcb7ad34beeda415addb4dec7c26"},"schema_version":"1.0","source":{"id":"1305.6115","kind":"arxiv","version":1}},"canonical_sha256":"e2a50014e867479311d63861a30657fc72481b080b718cfb9d19137eb36b8184","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e2a50014e867479311d63861a30657fc72481b080b718cfb9d19137eb36b8184","first_computed_at":"2026-05-18T03:24:52.183645Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:24:52.183645Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"46CEV5SUxoOWJJlmzhbXmAjFyHExDWzn5tPUdi5Q+ZiW74o8Fq4JwHpVvDBA2r03r0RG35EgqyEL85VsXoJEBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:24:52.184140Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.6115","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1f72a6029b55476583c156e27ca567e9058ef6536f4d888f28aff004439ce25","sha256:8a493fe9f9b88a44b8d0432a9828f57b7f7e80c32e357b6a0efef4704ba18af5"],"state_sha256":"11f0ef4fb67a7e5e0faea0964efa4db4f8c6f22a2279965bca7df2f3e09a5b19"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rfeaxWnsZbmQZqoYrMDhgr4J4zxy5fyN5ipfhCtFqkNDW5X23ci6risRl6R07bCA8QXJ+zbtuADKivng54XbAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T16:20:41.298832Z","bundle_sha256":"54369d08ec0e0042c61f887307e0794cc3e1a5bdb9d69101220533e28187d524"}}