{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:B4RIFFGYHKR3PSZON4JIUUIVTN","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":"3635d1a82b0a8fe5260dcc9af4a5e4720f921eb1c223d650e259ba200300775c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-06-08T07:42:55Z","title_canon_sha256":"8f94c28ec478700af8d3fa07f10b0426f78d80fa26ca3495d814e3824aff1feb"},"schema_version":"1.0","source":{"id":"1206.1687","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.1687","created_at":"2026-05-18T03:54:03Z"},{"alias_kind":"arxiv_version","alias_value":"1206.1687v1","created_at":"2026-05-18T03:54:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.1687","created_at":"2026-05-18T03:54:03Z"},{"alias_kind":"pith_short_12","alias_value":"B4RIFFGYHKR3","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"B4RIFFGYHKR3PSZO","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"B4RIFFGY","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:c793f4780868a7398ed44a19eb7472683f00c968ef3e9f810bde47a209e9f78f","target":"graph","created_at":"2026-05-18T03:54: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":"Recent mainstream programming languages such as Erlang or Scala have renewed the interest on the Actor model of concurrency. However, the literature on the static analysis of actor systems is still lacking of mature formal methods. In this paper we present a minimal actor calculus that takes as primitive the basic constructs of Scala's Actors API. More precisely, actors can send asynchronous messages, process received messages according to a pattern matching mechanism, and dynamically create new actors, whose scope can be extruded by passing actor names as message parameters. Drawing inspirati","authors_text":"Silvia Crafa","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-06-08T07:42:55Z","title":"Behavioural Types for Actor Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.1687","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:a8798eae180d1d9bef863e930ea939c4e31364e5928d82c5b3be3d1d09e25997","target":"record","created_at":"2026-05-18T03:54: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":"3635d1a82b0a8fe5260dcc9af4a5e4720f921eb1c223d650e259ba200300775c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-06-08T07:42:55Z","title_canon_sha256":"8f94c28ec478700af8d3fa07f10b0426f78d80fa26ca3495d814e3824aff1feb"},"schema_version":"1.0","source":{"id":"1206.1687","kind":"arxiv","version":1}},"canonical_sha256":"0f228294d83aa3b7cb2e6f128a51159b4a53db8ff8d9ed057603e24bd65e2cf0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0f228294d83aa3b7cb2e6f128a51159b4a53db8ff8d9ed057603e24bd65e2cf0","first_computed_at":"2026-05-18T03:54:03.515350Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:54:03.515350Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yxjRMZGTXvI+GLF3sxSZJEbHlk5GKEgkw6f65FPs5eDmCp6pE+gme45mYlgtpXDDtFqYC7MjEW8KQfwk5PsmBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:54:03.515995Z","signed_message":"canonical_sha256_bytes"},"source_id":"1206.1687","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a8798eae180d1d9bef863e930ea939c4e31364e5928d82c5b3be3d1d09e25997","sha256:c793f4780868a7398ed44a19eb7472683f00c968ef3e9f810bde47a209e9f78f"],"state_sha256":"cfe176e16be494cc6b854c87e8dc2402c86d5667cb0b2a44d34c5290758a0b85"}