{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:YHRPLBUSNGFDQQVMZ7LE4J6FFK","short_pith_number":"pith:YHRPLBUS","schema_version":"1.0","canonical_sha256":"c1e2f58692698a3842accfd64e27c52aaa20cd38acc9deb6c0379ba9dd1b64e7","source":{"kind":"arxiv","id":"1508.06347","version":1},"attestation_state":"computed","paper":{"title":"Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Daniel E. Gebler, Silvia Crafa","submitted_at":"2015-08-26T02:17:37Z","abstract_excerpt":"This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015) which was held on 31 August 2015 in Madrid, Spain, as an affiliated workshop of CONCUR 2015, the 26th International Conference on Concurrency Theory. The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming conc"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1508.06347","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-26T02:17:37Z","cross_cats_sorted":[],"title_canon_sha256":"9b6a26508c92ecdcd69dead793fc87eb3117d9f1e74c9bbdb9625cc950fa1f1d","abstract_canon_sha256":"e4b0dac07a122ad1068740e03f91eb7587a34abe5732ddebf9b8103d5a99a01b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:34:43.249394Z","signature_b64":"KZnyA2yM9TC40Z4CbqrEQXNayXqdsfsgobXynwdhl3NTY2SG0QMz4JJWzUm+YFWjyZspoZEFZ/ZXIBBCQDEpBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1e2f58692698a3842accfd64e27c52aaa20cd38acc9deb6c0379ba9dd1b64e7","last_reissued_at":"2026-05-18T01:34:43.248702Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:34:43.248702Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Daniel E. Gebler, Silvia Crafa","submitted_at":"2015-08-26T02:17:37Z","abstract_excerpt":"This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015) which was held on 31 August 2015 in Madrid, Spain, as an affiliated workshop of CONCUR 2015, the 26th International Conference on Concurrency Theory. The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming conc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06347","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1508.06347","created_at":"2026-05-18T01:34:43.248806+00:00"},{"alias_kind":"arxiv_version","alias_value":"1508.06347v1","created_at":"2026-05-18T01:34:43.248806+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06347","created_at":"2026-05-18T01:34:43.248806+00:00"},{"alias_kind":"pith_short_12","alias_value":"YHRPLBUSNGFD","created_at":"2026-05-18T12:29:50.041715+00:00"},{"alias_kind":"pith_short_16","alias_value":"YHRPLBUSNGFDQQVM","created_at":"2026-05-18T12:29:50.041715+00:00"},{"alias_kind":"pith_short_8","alias_value":"YHRPLBUS","created_at":"2026-05-18T12:29:50.041715+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YHRPLBUSNGFDQQVMZ7LE4J6FFK","json":"https://pith.science/pith/YHRPLBUSNGFDQQVMZ7LE4J6FFK.json","graph_json":"https://pith.science/api/pith-number/YHRPLBUSNGFDQQVMZ7LE4J6FFK/graph.json","events_json":"https://pith.science/api/pith-number/YHRPLBUSNGFDQQVMZ7LE4J6FFK/events.json","paper":"https://pith.science/paper/YHRPLBUS"},"agent_actions":{"view_html":"https://pith.science/pith/YHRPLBUSNGFDQQVMZ7LE4J6FFK","download_json":"https://pith.science/pith/YHRPLBUSNGFDQQVMZ7LE4J6FFK.json","view_paper":"https://pith.science/paper/YHRPLBUS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1508.06347&json=true","fetch_graph":"https://pith.science/api/pith-number/YHRPLBUSNGFDQQVMZ7LE4J6FFK/graph.json","fetch_events":"https://pith.science/api/pith-number/YHRPLBUSNGFDQQVMZ7LE4J6FFK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YHRPLBUSNGFDQQVMZ7LE4J6FFK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YHRPLBUSNGFDQQVMZ7LE4J6FFK/action/storage_attestation","attest_author":"https://pith.science/pith/YHRPLBUSNGFDQQVMZ7LE4J6FFK/action/author_attestation","sign_citation":"https://pith.science/pith/YHRPLBUSNGFDQQVMZ7LE4J6FFK/action/citation_signature","submit_replication":"https://pith.science/pith/YHRPLBUSNGFDQQVMZ7LE4J6FFK/action/replication_record"}},"created_at":"2026-05-18T01:34:43.248806+00:00","updated_at":"2026-05-18T01:34:43.248806+00:00"}