{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:PGTKVCRNZ7B72PQFOZBSHKC7I5","short_pith_number":"pith:PGTKVCRN","canonical_record":{"source":{"id":"1302.4205","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-02-18T10:05:40Z","cross_cats_sorted":[],"title_canon_sha256":"c91a90d619d7c7269bedd4f85def870c2af486c20268e9954a2f28474089a520","abstract_canon_sha256":"8c82e4467af8546a508ae196d59a3a0c36e7df9c64740fe94cf57a1fb726c08d"},"schema_version":"1.0"},"canonical_sha256":"79a6aa8a2dcfc3fd3e05764323a85f47549981fab38ccbe2aed8c7f017f33054","source":{"kind":"arxiv","id":"1302.4205","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4205","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4205v3","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4205","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"pith_short_12","alias_value":"PGTKVCRNZ7B7","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"PGTKVCRNZ7B72PQF","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"PGTKVCRN","created_at":"2026-05-18T12:27:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:PGTKVCRNZ7B72PQFOZBSHKC7I5","target":"record","payload":{"canonical_record":{"source":{"id":"1302.4205","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-02-18T10:05:40Z","cross_cats_sorted":[],"title_canon_sha256":"c91a90d619d7c7269bedd4f85def870c2af486c20268e9954a2f28474089a520","abstract_canon_sha256":"8c82e4467af8546a508ae196d59a3a0c36e7df9c64740fe94cf57a1fb726c08d"},"schema_version":"1.0"},"canonical_sha256":"79a6aa8a2dcfc3fd3e05764323a85f47549981fab38ccbe2aed8c7f017f33054","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:29:06.293234Z","signature_b64":"4RvnhUgjzg892y6lHxAWt3+OdCzLKxlrd6BJJu9WOyB/KCZ73iSDtIXZQYz0eimvkQ619rawo4Ah+lsWB5bEAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"79a6aa8a2dcfc3fd3e05764323a85f47549981fab38ccbe2aed8c7f017f33054","last_reissued_at":"2026-05-18T03:29:06.292551Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:29:06.292551Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.4205","source_version":3,"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-18T03:29:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FbAtfHmiSCw2HCyjYekgaTYy3lEjbAHbbSAL+WQYhQdprwQuQ60KPK2oA+hx/2qz+0O1AJvKQGKMuhnK006UDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T20:23:21.803181Z"},"content_sha256":"090b17dab62fe2b45040f3925ee3be05a4b6689feb4c21e9476801ec0437dd62","schema_version":"1.0","event_id":"sha256:090b17dab62fe2b45040f3925ee3be05a4b6689feb4c21e9476801ec0437dd62"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:PGTKVCRNZ7B72PQFOZBSHKC7I5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fresh-Variable Automata for Service Composition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Michael Rusinowitch, Walid Belkhir, Yannick Chevalier","submitted_at":"2013-02-18T10:05:40Z","abstract_excerpt":"To model Web services handling data from an infinite domain, or with multiple sessions, we introduce fresh-variable automata, a simple extension of finite-state automata in which some transitions are labeled with variables that can be refreshed in some specified states. We prove several closure properties for this class of automata and study their decision problems. We then introduce a notion of simulation that enables us to reduce the Web service composition problem to the construction of a simulation of a target service by the asynchronous product of existing services, and prove that this co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4205","kind":"arxiv","version":3},"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-18T03:29:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f4on9LR33veLOC3JYRzp7At3OECk2S84wG5mh/u/32UEXvTlrGyFzl0ZzfOJBiA1k/4Bm55VORwLOUqVlD2rBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T20:23:21.803546Z"},"content_sha256":"7879497cfd691149d65a4604856b9b2ad069ae827509bb8a22c70250f74920a5","schema_version":"1.0","event_id":"sha256:7879497cfd691149d65a4604856b9b2ad069ae827509bb8a22c70250f74920a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PGTKVCRNZ7B72PQFOZBSHKC7I5/bundle.json","state_url":"https://pith.science/pith/PGTKVCRNZ7B72PQFOZBSHKC7I5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PGTKVCRNZ7B72PQFOZBSHKC7I5/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-06-30T20:23:21Z","links":{"resolver":"https://pith.science/pith/PGTKVCRNZ7B72PQFOZBSHKC7I5","bundle":"https://pith.science/pith/PGTKVCRNZ7B72PQFOZBSHKC7I5/bundle.json","state":"https://pith.science/pith/PGTKVCRNZ7B72PQFOZBSHKC7I5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PGTKVCRNZ7B72PQFOZBSHKC7I5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:PGTKVCRNZ7B72PQFOZBSHKC7I5","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":"8c82e4467af8546a508ae196d59a3a0c36e7df9c64740fe94cf57a1fb726c08d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-02-18T10:05:40Z","title_canon_sha256":"c91a90d619d7c7269bedd4f85def870c2af486c20268e9954a2f28474089a520"},"schema_version":"1.0","source":{"id":"1302.4205","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4205","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4205v3","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4205","created_at":"2026-05-18T03:29:06Z"},{"alias_kind":"pith_short_12","alias_value":"PGTKVCRNZ7B7","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"PGTKVCRNZ7B72PQF","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"PGTKVCRN","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:7879497cfd691149d65a4604856b9b2ad069ae827509bb8a22c70250f74920a5","target":"graph","created_at":"2026-05-18T03:29:06Z","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":"To model Web services handling data from an infinite domain, or with multiple sessions, we introduce fresh-variable automata, a simple extension of finite-state automata in which some transitions are labeled with variables that can be refreshed in some specified states. We prove several closure properties for this class of automata and study their decision problems. We then introduce a notion of simulation that enables us to reduce the Web service composition problem to the construction of a simulation of a target service by the asynchronous product of existing services, and prove that this co","authors_text":"Michael Rusinowitch, Walid Belkhir, Yannick Chevalier","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-02-18T10:05:40Z","title":"Fresh-Variable Automata for Service Composition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4205","kind":"arxiv","version":3},"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:090b17dab62fe2b45040f3925ee3be05a4b6689feb4c21e9476801ec0437dd62","target":"record","created_at":"2026-05-18T03:29:06Z","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":"8c82e4467af8546a508ae196d59a3a0c36e7df9c64740fe94cf57a1fb726c08d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-02-18T10:05:40Z","title_canon_sha256":"c91a90d619d7c7269bedd4f85def870c2af486c20268e9954a2f28474089a520"},"schema_version":"1.0","source":{"id":"1302.4205","kind":"arxiv","version":3}},"canonical_sha256":"79a6aa8a2dcfc3fd3e05764323a85f47549981fab38ccbe2aed8c7f017f33054","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"79a6aa8a2dcfc3fd3e05764323a85f47549981fab38ccbe2aed8c7f017f33054","first_computed_at":"2026-05-18T03:29:06.292551Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:29:06.292551Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4RvnhUgjzg892y6lHxAWt3+OdCzLKxlrd6BJJu9WOyB/KCZ73iSDtIXZQYz0eimvkQ619rawo4Ah+lsWB5bEAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:29:06.293234Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.4205","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:090b17dab62fe2b45040f3925ee3be05a4b6689feb4c21e9476801ec0437dd62","sha256:7879497cfd691149d65a4604856b9b2ad069ae827509bb8a22c70250f74920a5"],"state_sha256":"1266a171cdd181bf4c43b0bbd63553b9267805a9739247d1e89d34ea1bbaa6c6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P8VrTmFHzPhi319l3rFYmJ9C/dDF5nsJFvEuvcfqzWuMCDLGt4ILldO1Athf1+J2IZ/TwHZrCdG6nRNTkZlwCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T20:23:21.806651Z","bundle_sha256":"d205e0e8a2f05b26d310d56e621d599347fd79cb13ab9d568f86b3e5da69d101"}}