{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:K37LG45NSRSD2TNS67RWY5BHMC","short_pith_number":"pith:K37LG45N","canonical_record":{"source":{"id":"1108.0228","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-08-01T03:57:54Z","cross_cats_sorted":[],"title_canon_sha256":"fce660b7fde78e651b6b8aa33b5cd1066ad6d82de8e9351bf5f3a2a09936c008","abstract_canon_sha256":"a22961756bf4b344ecc9615fce10fa76a0a94fbbadd140e01b77b20fd4a28e27"},"schema_version":"1.0"},"canonical_sha256":"56feb373ad94643d4db2f7e36c742760a05e0a1590111d8ef2f7cf56a7321e2a","source":{"kind":"arxiv","id":"1108.0228","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.0228","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"arxiv_version","alias_value":"1108.0228v1","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.0228","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"pith_short_12","alias_value":"K37LG45NSRSD","created_at":"2026-05-18T12:26:32Z"},{"alias_kind":"pith_short_16","alias_value":"K37LG45NSRSD2TNS","created_at":"2026-05-18T12:26:32Z"},{"alias_kind":"pith_short_8","alias_value":"K37LG45N","created_at":"2026-05-18T12:26:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:K37LG45NSRSD2TNS67RWY5BHMC","target":"record","payload":{"canonical_record":{"source":{"id":"1108.0228","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-08-01T03:57:54Z","cross_cats_sorted":[],"title_canon_sha256":"fce660b7fde78e651b6b8aa33b5cd1066ad6d82de8e9351bf5f3a2a09936c008","abstract_canon_sha256":"a22961756bf4b344ecc9615fce10fa76a0a94fbbadd140e01b77b20fd4a28e27"},"schema_version":"1.0"},"canonical_sha256":"56feb373ad94643d4db2f7e36c742760a05e0a1590111d8ef2f7cf56a7321e2a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:31.467613Z","signature_b64":"mfK2Ol4GJyPpebq7hjno9uV8ngpdQnY6kfnj+bDuaV7x0VxIun4IWNntm50Ze8mEcLsAqrunLI7qJBLr+B7YDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56feb373ad94643d4db2f7e36c742760a05e0a1590111d8ef2f7cf56a7321e2a","last_reissued_at":"2026-05-18T04:16:31.467122Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:31.467122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.0228","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:16:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MbpoDBljRSGOD24x6W4S00rP4FdQWdxzlUufvemlGff4ECL1v8+ELkbE1bVwNgEFPwtc928yc4XEhJ1fXlNSDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T22:17:50.546616Z"},"content_sha256":"dad70b2bb2dd2bdda2122d1d603b0664dd989de3f3612202c0d11fbc3f1051be","schema_version":"1.0","event_id":"sha256:dad70b2bb2dd2bdda2122d1d603b0664dd989de3f3612202c0d11fbc3f1051be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:K37LG45NSRSD2TNS67RWY5BHMC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Anna Ingolfsdottir (Reykjavik University, Arni Hermann Reynisson (Reykjavik University, Iceland), Luca Aceto (Reykjavik University, Marjan Sirjani (Reykjavik University, Matteo Cimini (Reykjavik University, Steinar Hugi Sigurdarson (Reykjavik University","submitted_at":"2011-08-01T03:57:54Z","abstract_excerpt":"In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics of the language using Structural Operational Semantics, and show its expressiveness by means of examples. We developed a tool for automated translation from timed Rebeca to the Erlang language, which provides a first implementation of timed Rebeca. We can use the tool to set the parameters of timed Rebeca models, which represent the environment and component variables, and use McErlang to run multiple simulations fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0228","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:16:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E8bMKB4flnUW1WZiebsrJkQY42sfmp+PKOK0rP44NvHL/VCyum7n7GerJAbcwsKWTLuLqlXxboc4qbUBrFcHCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T22:17:50.547457Z"},"content_sha256":"751afbfecb0bd7b6b5932703e728abbccb07c341febc21b9c4d206d49dceb319","schema_version":"1.0","event_id":"sha256:751afbfecb0bd7b6b5932703e728abbccb07c341febc21b9c4d206d49dceb319"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K37LG45NSRSD2TNS67RWY5BHMC/bundle.json","state_url":"https://pith.science/pith/K37LG45NSRSD2TNS67RWY5BHMC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K37LG45NSRSD2TNS67RWY5BHMC/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-31T22:17:50Z","links":{"resolver":"https://pith.science/pith/K37LG45NSRSD2TNS67RWY5BHMC","bundle":"https://pith.science/pith/K37LG45NSRSD2TNS67RWY5BHMC/bundle.json","state":"https://pith.science/pith/K37LG45NSRSD2TNS67RWY5BHMC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K37LG45NSRSD2TNS67RWY5BHMC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:K37LG45NSRSD2TNS67RWY5BHMC","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":"a22961756bf4b344ecc9615fce10fa76a0a94fbbadd140e01b77b20fd4a28e27","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-08-01T03:57:54Z","title_canon_sha256":"fce660b7fde78e651b6b8aa33b5cd1066ad6d82de8e9351bf5f3a2a09936c008"},"schema_version":"1.0","source":{"id":"1108.0228","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.0228","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"arxiv_version","alias_value":"1108.0228v1","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.0228","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"pith_short_12","alias_value":"K37LG45NSRSD","created_at":"2026-05-18T12:26:32Z"},{"alias_kind":"pith_short_16","alias_value":"K37LG45NSRSD2TNS","created_at":"2026-05-18T12:26:32Z"},{"alias_kind":"pith_short_8","alias_value":"K37LG45N","created_at":"2026-05-18T12:26:32Z"}],"graph_snapshots":[{"event_id":"sha256:751afbfecb0bd7b6b5932703e728abbccb07c341febc21b9c4d206d49dceb319","target":"graph","created_at":"2026-05-18T04:16:31Z","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 this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics of the language using Structural Operational Semantics, and show its expressiveness by means of examples. We developed a tool for automated translation from timed Rebeca to the Erlang language, which provides a first implementation of timed Rebeca. We can use the tool to set the parameters of timed Rebeca models, which represent the environment and component variables, and use McErlang to run multiple simulations fo","authors_text":"Anna Ingolfsdottir (Reykjavik University, Arni Hermann Reynisson (Reykjavik University, Iceland), Luca Aceto (Reykjavik University, Marjan Sirjani (Reykjavik University, Matteo Cimini (Reykjavik University, Steinar Hugi Sigurdarson (Reykjavik University","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-08-01T03:57:54Z","title":"Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0228","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:dad70b2bb2dd2bdda2122d1d603b0664dd989de3f3612202c0d11fbc3f1051be","target":"record","created_at":"2026-05-18T04:16:31Z","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":"a22961756bf4b344ecc9615fce10fa76a0a94fbbadd140e01b77b20fd4a28e27","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-08-01T03:57:54Z","title_canon_sha256":"fce660b7fde78e651b6b8aa33b5cd1066ad6d82de8e9351bf5f3a2a09936c008"},"schema_version":"1.0","source":{"id":"1108.0228","kind":"arxiv","version":1}},"canonical_sha256":"56feb373ad94643d4db2f7e36c742760a05e0a1590111d8ef2f7cf56a7321e2a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56feb373ad94643d4db2f7e36c742760a05e0a1590111d8ef2f7cf56a7321e2a","first_computed_at":"2026-05-18T04:16:31.467122Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:16:31.467122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mfK2Ol4GJyPpebq7hjno9uV8ngpdQnY6kfnj+bDuaV7x0VxIun4IWNntm50Ze8mEcLsAqrunLI7qJBLr+B7YDw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:16:31.467613Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.0228","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dad70b2bb2dd2bdda2122d1d603b0664dd989de3f3612202c0d11fbc3f1051be","sha256:751afbfecb0bd7b6b5932703e728abbccb07c341febc21b9c4d206d49dceb319"],"state_sha256":"391b5f2d7c88eea8a23742063c8ffb2314c47bf72ce898949612378cba84d8b4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7Z4dgFg4+5bWClGtzJ6REdxaXPOZaPnHQ1s8fjg2+uDXpo9KRiTUJX1+JnRbuWkcyulpVt1VVwBxyFMnxoJRAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T22:17:50.552558Z","bundle_sha256":"5469657935c3686a7a3347fb38d5840904f53cee99220139832d97ff7be0fdab"}}