{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:SCJBOR7CH7RTWKXWEWZKJGNARC","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":"e6e13dfcd67739dffcb90272a30459ceae001b4c2b93a2e8ec405224a5663128","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2024-05-16T12:46:56Z","title_canon_sha256":"6d956a5d83ed8311901ab8412c5515ffe4b8839066cb3f1cc5bcc264eacb63d3"},"schema_version":"1.0","source":{"id":"2405.10057","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.10057","created_at":"2026-07-05T09:37:53Z"},{"alias_kind":"arxiv_version","alias_value":"2405.10057v2","created_at":"2026-07-05T09:37:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.10057","created_at":"2026-07-05T09:37:53Z"},{"alias_kind":"pith_short_12","alias_value":"SCJBOR7CH7RT","created_at":"2026-07-05T09:37:53Z"},{"alias_kind":"pith_short_16","alias_value":"SCJBOR7CH7RTWKXW","created_at":"2026-07-05T09:37:53Z"},{"alias_kind":"pith_short_8","alias_value":"SCJBOR7C","created_at":"2026-07-05T09:37:53Z"}],"graph_snapshots":[{"event_id":"sha256:e3f1bf2bf5d36723364e432f382b7c1c9abb381313e1d61f8bd252123415f9e1","target":"graph","created_at":"2026-07-05T09:37:53Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2405.10057/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential specification, which presents limitations both on the specification expressiveness and implementation efficiency of inherently concurrent objects, as documented by Casta\\~neda, Rajsbaum and Raynal in CACM 2023. Our framework focuses on the interactions between the various system components, specified as concurrent objects. Interactions are described with sequences of object events. This provides a modular way of specif","authors_text":"Antonio Fern\\'andez Anta, Chryssis Georgiou (UCY), Junlang Wang, Mathieu Gestin, Nicolas Nicolaou, Timoth\\'e Albouy (IRISA)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2024-05-16T12:46:56Z","title":"AMECOS: A Modular Event-based Framework for Concurrent Object Specification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.10057","kind":"arxiv","version":2},"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:f503e3f8009c49eab59394d164ac187cf12a3df5da7bc0600fff93b9a8a5eb02","target":"record","created_at":"2026-07-05T09:37:53Z","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":"e6e13dfcd67739dffcb90272a30459ceae001b4c2b93a2e8ec405224a5663128","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2024-05-16T12:46:56Z","title_canon_sha256":"6d956a5d83ed8311901ab8412c5515ffe4b8839066cb3f1cc5bcc264eacb63d3"},"schema_version":"1.0","source":{"id":"2405.10057","kind":"arxiv","version":2}},"canonical_sha256":"90921747e23fe33b2af625b2a499a0889960d41e6bad506d55552c62c76a7364","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90921747e23fe33b2af625b2a499a0889960d41e6bad506d55552c62c76a7364","first_computed_at":"2026-07-05T09:37:53.503615Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:37:53.503615Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RtA6EOraOOLYUwHFX1lRtnCclEd/qkXGtxABaZCNV0lNokCqPUZCl1U8n6x95UO6YzmLtKG+4GMWoZSo7RMzDw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:37:53.504100Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.10057","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f503e3f8009c49eab59394d164ac187cf12a3df5da7bc0600fff93b9a8a5eb02","sha256:e3f1bf2bf5d36723364e432f382b7c1c9abb381313e1d61f8bd252123415f9e1"],"state_sha256":"729045d1d267f0cf808ee42f88254afe602de4c9b6c103f8d2e3904b0e484ce0"}