{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:IA3KWA5PJZKOISQUTGYRVXYT5L","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":"7ae105526b9fdf3483a890e834e92456fff0050ecb237f7db7ef3374576fc0fb","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2012-12-19T21:00:28Z","title_canon_sha256":"6ec15d7f346daf20d96b8af9562eaad696d2aff3472b35d5aff9b1925b18b0ee"},"schema_version":"1.0","source":{"id":"1212.4846","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.4846","created_at":"2026-05-18T03:38:04Z"},{"alias_kind":"arxiv_version","alias_value":"1212.4846v1","created_at":"2026-05-18T03:38:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.4846","created_at":"2026-05-18T03:38:04Z"},{"alias_kind":"pith_short_12","alias_value":"IA3KWA5PJZKO","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"IA3KWA5PJZKOISQU","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"IA3KWA5P","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:73f5752e4f600cac8c5933f34a703355729c853b0e92e246187a7a2c8a2b48f4","target":"graph","created_at":"2026-05-18T03:38:04Z","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":"In this paper we present product-form solutions from the point of view of stochastic process algebra. In previous work we have shown how to derive product-form solutions for a formalism called Labelled Markov Automata (LMA). LMA are very useful as their relation with the Continuous Time Markov Chains is very direct. The disadvantage of using LMA is that the proofs of properties are cumbersome. In fact, in LMA it is not possible to use the inductive structure of the language in a proof. In this paper we consider a simple stochastic process algebra that has the great advantage of simplifying the","authors_text":"Maria Grazia Vigliotti","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2012-12-19T21:00:28Z","title":"Operational semantics for product-form solution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.4846","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:5613a8ddf6baff3685432a2206968764fe60e1623edcca7a710cf03a2d1ba9da","target":"record","created_at":"2026-05-18T03:38:04Z","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":"7ae105526b9fdf3483a890e834e92456fff0050ecb237f7db7ef3374576fc0fb","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2012-12-19T21:00:28Z","title_canon_sha256":"6ec15d7f346daf20d96b8af9562eaad696d2aff3472b35d5aff9b1925b18b0ee"},"schema_version":"1.0","source":{"id":"1212.4846","kind":"arxiv","version":1}},"canonical_sha256":"4036ab03af4e54e44a1499b11adf13eaf31785a279205b2ec33b90c54dff6fe8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4036ab03af4e54e44a1499b11adf13eaf31785a279205b2ec33b90c54dff6fe8","first_computed_at":"2026-05-18T03:38:04.527001Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:38:04.527001Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kmeWjwd2dB2M/nmrW0Gr27OH4A6/9AQRZAjsq2MZ0r6ZfG8mUjh2PmFRsibODRftNuWxrVJrwLelY1gWbUQ5Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:38:04.527576Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.4846","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5613a8ddf6baff3685432a2206968764fe60e1623edcca7a710cf03a2d1ba9da","sha256:73f5752e4f600cac8c5933f34a703355729c853b0e92e246187a7a2c8a2b48f4"],"state_sha256":"6e05731f2558d0fbc559d949e2de539c681630941f89cd272f0165f0beb5fe65"}