{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:WTZPNBJVSWZCMYJYOHCQP465J4","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":"379f4876e758a08a4679f4e3c36306e76a997b81cd75580ce0a650682afe78a6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-01T07:54:46Z","title_canon_sha256":"8958cd922e0073be4c681326395f5b4a3fae5a9781449b332d213830ebcd079a"},"schema_version":"1.0","source":{"id":"1607.00141","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.00141","created_at":"2026-05-18T01:11:37Z"},{"alias_kind":"arxiv_version","alias_value":"1607.00141v1","created_at":"2026-05-18T01:11:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.00141","created_at":"2026-05-18T01:11:37Z"},{"alias_kind":"pith_short_12","alias_value":"WTZPNBJVSWZC","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"WTZPNBJVSWZCMYJY","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"WTZPNBJV","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:c13c815ea0e68a8d8b3809150055eb636fece577cf282855ba4bbc27df9d85a7","target":"graph","created_at":"2026-05-18T01:11:37Z","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":"This paper provides a fully abstract semantics for value-passing CCS for trees (VCCTS). The operational semantics is given both in terms of a reduction semantics and in terms of a labelled transition semantics. The labelled transition semantics is non-sequential, allowing more than one action occurring simultaneously. We develop the theory of behavioral equivalence by introducing both weak barbed congruence and weak bisimilarity. In particular, we show that weak barbed congruence coincides with weak bisimilarity on image-finite processes. This is the first such result for a concurrent model wi","authors_text":"Shichao Liu, Thomas Ehrhard, Ying Jiang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-01T07:54:46Z","title":"A Fully Abstract Semantics for Value-passing CCS for Trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.00141","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:ce4720fd497007f76136fbc7ec5c169d35708aea0ab5877a8c692cf6e4fc9876","target":"record","created_at":"2026-05-18T01:11:37Z","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":"379f4876e758a08a4679f4e3c36306e76a997b81cd75580ce0a650682afe78a6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-01T07:54:46Z","title_canon_sha256":"8958cd922e0073be4c681326395f5b4a3fae5a9781449b332d213830ebcd079a"},"schema_version":"1.0","source":{"id":"1607.00141","kind":"arxiv","version":1}},"canonical_sha256":"b4f2f6853595b226613871c507f3dd4f168050dbba57c72382001ba7fa14e149","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b4f2f6853595b226613871c507f3dd4f168050dbba57c72382001ba7fa14e149","first_computed_at":"2026-05-18T01:11:37.985282Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:37.985282Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5rTNICllpjsIJaoZ3hwO9TxFr1gzNJC1BLLS+unOQPMTPEPaWfNEHMzuTd6VVuDuQlGnh8zRbxfM7wfllqppAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:37.986066Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.00141","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce4720fd497007f76136fbc7ec5c169d35708aea0ab5877a8c692cf6e4fc9876","sha256:c13c815ea0e68a8d8b3809150055eb636fece577cf282855ba4bbc27df9d85a7"],"state_sha256":"2d678af042c0fad96dbe93ee5fd397d548aedd4982cc4b23751e71d8ac0ea49a"}