{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:YHYODJUFERVYI6T6Z4GENT5KNO","short_pith_number":"pith:YHYODJUF","canonical_record":{"source":{"id":"1703.08242","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-23T22:05:22Z","cross_cats_sorted":[],"title_canon_sha256":"b1be18a51d556e1fb6088f208142219758d406e0feb3fa6e3bcf8cf646fd56e2","abstract_canon_sha256":"747dd4d3181f129cd4886ed03ea1e2a1edd68e51c8dd5b2cd5745ebdb5a4e260"},"schema_version":"1.0"},"canonical_sha256":"c1f0e1a685246b847a7ecf0c46cfaa6bafe7900ac6138535648e4d2aca579f73","source":{"kind":"arxiv","id":"1703.08242","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08242","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08242v1","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08242","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"pith_short_12","alias_value":"YHYODJUFERVY","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"YHYODJUFERVYI6T6","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"YHYODJUF","created_at":"2026-05-18T12:31:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:YHYODJUFERVYI6T6Z4GENT5KNO","target":"record","payload":{"canonical_record":{"source":{"id":"1703.08242","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-23T22:05:22Z","cross_cats_sorted":[],"title_canon_sha256":"b1be18a51d556e1fb6088f208142219758d406e0feb3fa6e3bcf8cf646fd56e2","abstract_canon_sha256":"747dd4d3181f129cd4886ed03ea1e2a1edd68e51c8dd5b2cd5745ebdb5a4e260"},"schema_version":"1.0"},"canonical_sha256":"c1f0e1a685246b847a7ecf0c46cfaa6bafe7900ac6138535648e4d2aca579f73","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:48:00.387828Z","signature_b64":"RBCgncHx76n0DTbUsu51spfQRMh4wSYVJN3SeX7TGXHPhVzsazXqFX/DRqT7otAjpJk5bxSz9qSIXudD2aWxBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1f0e1a685246b847a7ecf0c46cfaa6bafe7900ac6138535648e4d2aca579f73","last_reissued_at":"2026-05-18T00:48:00.387412Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:48:00.387412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.08242","source_version":1,"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-18T00:48:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3/tZvu04CaJwgoDc+c1MdSUwfUwvWgd6+h4DDhl3IJNu9vxPCXkM28pdqnXWWDbC4Js+1zzLH3IQrzOvUEzhDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T11:10:01.745710Z"},"content_sha256":"a054a0805e2dbb17a563c0a0ea654f1ce45ccb7d6b515f3b7f8d6ee949374721","schema_version":"1.0","event_id":"sha256:a054a0805e2dbb17a563c0a0ea654f1ce45ccb7d6b515f3b7f8d6ee949374721"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:YHYODJUFERVYI6T6Z4GENT5KNO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Concurrent Software Design Based on Constraints on State Diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bogdan D. Czejdo, Jerzy Mie\\'scicki, Wiktor B. Daszczuk","submitted_at":"2017-03-23T22:05:22Z","abstract_excerpt":"Concurrent software for engineering computations consists of multiple cooperating modules. The behavior of individual modules is described by means on state diagrams. In the paper, the constraints on state diagrams are proposed, allowing for the specification of designer's intentions as to the synchronization of modules. Also, the translation of state diagrams (with enforcement constraints) into Concurrent State Machines is shown, which provides formal framework for the verification of inter-module synchronization. An example of engineering software design based on the method is presented."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08242","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"},"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-18T00:48:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"087aoM/Px4Pz46uwfHKdiL7NThnEcK4+yjNmktRqSR+JQfskWWTaOnLT7yQtO/IDun7dUiBdFdzWRCaxDGBMDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T11:10:01.746056Z"},"content_sha256":"f21f8b5c04041ef723f8959b5242230d142a672c1ffb815d50c4217082303159","schema_version":"1.0","event_id":"sha256:f21f8b5c04041ef723f8959b5242230d142a672c1ffb815d50c4217082303159"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YHYODJUFERVYI6T6Z4GENT5KNO/bundle.json","state_url":"https://pith.science/pith/YHYODJUFERVYI6T6Z4GENT5KNO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YHYODJUFERVYI6T6Z4GENT5KNO/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-04T11:10:01Z","links":{"resolver":"https://pith.science/pith/YHYODJUFERVYI6T6Z4GENT5KNO","bundle":"https://pith.science/pith/YHYODJUFERVYI6T6Z4GENT5KNO/bundle.json","state":"https://pith.science/pith/YHYODJUFERVYI6T6Z4GENT5KNO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YHYODJUFERVYI6T6Z4GENT5KNO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:YHYODJUFERVYI6T6Z4GENT5KNO","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":"747dd4d3181f129cd4886ed03ea1e2a1edd68e51c8dd5b2cd5745ebdb5a4e260","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-23T22:05:22Z","title_canon_sha256":"b1be18a51d556e1fb6088f208142219758d406e0feb3fa6e3bcf8cf646fd56e2"},"schema_version":"1.0","source":{"id":"1703.08242","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08242","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08242v1","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08242","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"pith_short_12","alias_value":"YHYODJUFERVY","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"YHYODJUFERVYI6T6","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"YHYODJUF","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:f21f8b5c04041ef723f8959b5242230d142a672c1ffb815d50c4217082303159","target":"graph","created_at":"2026-05-18T00:48:00Z","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":"Concurrent software for engineering computations consists of multiple cooperating modules. The behavior of individual modules is described by means on state diagrams. In the paper, the constraints on state diagrams are proposed, allowing for the specification of designer's intentions as to the synchronization of modules. Also, the translation of state diagrams (with enforcement constraints) into Concurrent State Machines is shown, which provides formal framework for the verification of inter-module synchronization. An example of engineering software design based on the method is presented.","authors_text":"Bogdan D. Czejdo, Jerzy Mie\\'scicki, Wiktor B. Daszczuk","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-23T22:05:22Z","title":"Concurrent Software Design Based on Constraints on State Diagrams"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08242","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:a054a0805e2dbb17a563c0a0ea654f1ce45ccb7d6b515f3b7f8d6ee949374721","target":"record","created_at":"2026-05-18T00:48:00Z","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":"747dd4d3181f129cd4886ed03ea1e2a1edd68e51c8dd5b2cd5745ebdb5a4e260","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-23T22:05:22Z","title_canon_sha256":"b1be18a51d556e1fb6088f208142219758d406e0feb3fa6e3bcf8cf646fd56e2"},"schema_version":"1.0","source":{"id":"1703.08242","kind":"arxiv","version":1}},"canonical_sha256":"c1f0e1a685246b847a7ecf0c46cfaa6bafe7900ac6138535648e4d2aca579f73","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1f0e1a685246b847a7ecf0c46cfaa6bafe7900ac6138535648e4d2aca579f73","first_computed_at":"2026-05-18T00:48:00.387412Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:00.387412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RBCgncHx76n0DTbUsu51spfQRMh4wSYVJN3SeX7TGXHPhVzsazXqFX/DRqT7otAjpJk5bxSz9qSIXudD2aWxBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:00.387828Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.08242","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a054a0805e2dbb17a563c0a0ea654f1ce45ccb7d6b515f3b7f8d6ee949374721","sha256:f21f8b5c04041ef723f8959b5242230d142a672c1ffb815d50c4217082303159"],"state_sha256":"2658243ef5ab641d7260f1d433e20beb2c72c4c835e7830bc48dc3984328b06c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8JXauHV4WrVi27ZDcOWuq+PzMYJNIfvZPpJbQMEBxElVy5HVMg4z8dwTGZRkIP4NIybb+fJpOl2INOaT1US4AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T11:10:01.747984Z","bundle_sha256":"da5cbc9f45d527523eaba7381fec485c783449f4de618624c229d1aafdb14209"}}