{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:MHM54IPB6AU3PZQKNNVQF36LI6","short_pith_number":"pith:MHM54IPB","canonical_record":{"source":{"id":"1108.0468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-02T02:27:34Z","cross_cats_sorted":[],"title_canon_sha256":"bda42491634279be34bdc5f30f09f8f13528ca3d69f56d16d3a7f73cf505a267","abstract_canon_sha256":"7f3a2a1ef32672676914e043348f129e088145cab481bffc03248350702a3f2d"},"schema_version":"1.0"},"canonical_sha256":"61d9de21e1f029b7e60a6b6b02efcb4799ff3355d45a4283a8606ab4aed8808b","source":{"kind":"arxiv","id":"1108.0468","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.0468","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"arxiv_version","alias_value":"1108.0468v1","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.0468","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"pith_short_12","alias_value":"MHM54IPB6AU3","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"MHM54IPB6AU3PZQK","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"MHM54IPB","created_at":"2026-05-18T12:26:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:MHM54IPB6AU3PZQKNNVQF36LI6","target":"record","payload":{"canonical_record":{"source":{"id":"1108.0468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-02T02:27:34Z","cross_cats_sorted":[],"title_canon_sha256":"bda42491634279be34bdc5f30f09f8f13528ca3d69f56d16d3a7f73cf505a267","abstract_canon_sha256":"7f3a2a1ef32672676914e043348f129e088145cab481bffc03248350702a3f2d"},"schema_version":"1.0"},"canonical_sha256":"61d9de21e1f029b7e60a6b6b02efcb4799ff3355d45a4283a8606ab4aed8808b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:30.333277Z","signature_b64":"iUy/+8K5bNIcusArCagdCPgqdyrkTtqwxlCzfiNdwM4eOefQrdS8ZinIPRnpWHfkiojkGspeWZZewZC81AAHCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61d9de21e1f029b7e60a6b6b02efcb4799ff3355d45a4283a8606ab4aed8808b","last_reissued_at":"2026-05-18T04:16:30.332677Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:30.332677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.0468","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-18T04:16:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ADa7R/DHGuXggqT78zUNK3JSwVTuNEkr6afcnlcLr/ogbvgJPSI2fNPdKs+LDlkPt4O8LjwXM8WgODyKI/vxBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T12:20:17.374762Z"},"content_sha256":"ea2e7f3c4c03e3174a4176dfa129922d12685dc31700dbb5512062cd4fdd6e29","schema_version":"1.0","event_id":"sha256:ea2e7f3c4c03e3174a4176dfa129922d12685dc31700dbb5512062cd4fdd6e29"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:MHM54IPB6AU3PZQKNNVQF36LI6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Farhad Arbab, Sung-Shik T.Q. Jongmans","submitted_at":"2011-08-02T02:27:34Z","abstract_excerpt":"Over the past decades, coordination languages have emerged for the specification and implementation of interaction protocols for communicating software components. This class of languages includes Reo, a platform for compositional construction of connectors. In recent years, various formalisms for describing the behavior of Reo connectors have come to existence, each of them serving its own purpose. Naturally, questions about how these models relate to each other arise. From a theoretical point of view, answers to these questions provide us with better insight into the fundamentals of Reo, whi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0468","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-18T04:16:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sS9IRE/U4kf7jw37H2/NIlNho7SYdbpqc93e5F4h3u5u7IWyE8hl5E5fbuxPXV8llEI948JwAwbo7QifOITRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T12:20:17.375105Z"},"content_sha256":"c2d4350160d617ca7b88e6f98d0bb569b2f68cd0a03e4225f6859eb64b9e48d0","schema_version":"1.0","event_id":"sha256:c2d4350160d617ca7b88e6f98d0bb569b2f68cd0a03e4225f6859eb64b9e48d0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MHM54IPB6AU3PZQKNNVQF36LI6/bundle.json","state_url":"https://pith.science/pith/MHM54IPB6AU3PZQKNNVQF36LI6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MHM54IPB6AU3PZQKNNVQF36LI6/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-07-03T12:20:17Z","links":{"resolver":"https://pith.science/pith/MHM54IPB6AU3PZQKNNVQF36LI6","bundle":"https://pith.science/pith/MHM54IPB6AU3PZQKNNVQF36LI6/bundle.json","state":"https://pith.science/pith/MHM54IPB6AU3PZQKNNVQF36LI6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MHM54IPB6AU3PZQKNNVQF36LI6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:MHM54IPB6AU3PZQKNNVQF36LI6","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":"7f3a2a1ef32672676914e043348f129e088145cab481bffc03248350702a3f2d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-02T02:27:34Z","title_canon_sha256":"bda42491634279be34bdc5f30f09f8f13528ca3d69f56d16d3a7f73cf505a267"},"schema_version":"1.0","source":{"id":"1108.0468","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.0468","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"arxiv_version","alias_value":"1108.0468v1","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.0468","created_at":"2026-05-18T04:16:30Z"},{"alias_kind":"pith_short_12","alias_value":"MHM54IPB6AU3","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"MHM54IPB6AU3PZQK","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"MHM54IPB","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:c2d4350160d617ca7b88e6f98d0bb569b2f68cd0a03e4225f6859eb64b9e48d0","target":"graph","created_at":"2026-05-18T04:16:30Z","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":"Over the past decades, coordination languages have emerged for the specification and implementation of interaction protocols for communicating software components. This class of languages includes Reo, a platform for compositional construction of connectors. In recent years, various formalisms for describing the behavior of Reo connectors have come to existence, each of them serving its own purpose. Naturally, questions about how these models relate to each other arise. From a theoretical point of view, answers to these questions provide us with better insight into the fundamentals of Reo, whi","authors_text":"Farhad Arbab, Sung-Shik T.Q. Jongmans","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-02T02:27:34Z","title":"Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0468","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:ea2e7f3c4c03e3174a4176dfa129922d12685dc31700dbb5512062cd4fdd6e29","target":"record","created_at":"2026-05-18T04:16:30Z","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":"7f3a2a1ef32672676914e043348f129e088145cab481bffc03248350702a3f2d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-02T02:27:34Z","title_canon_sha256":"bda42491634279be34bdc5f30f09f8f13528ca3d69f56d16d3a7f73cf505a267"},"schema_version":"1.0","source":{"id":"1108.0468","kind":"arxiv","version":1}},"canonical_sha256":"61d9de21e1f029b7e60a6b6b02efcb4799ff3355d45a4283a8606ab4aed8808b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"61d9de21e1f029b7e60a6b6b02efcb4799ff3355d45a4283a8606ab4aed8808b","first_computed_at":"2026-05-18T04:16:30.332677Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:16:30.332677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iUy/+8K5bNIcusArCagdCPgqdyrkTtqwxlCzfiNdwM4eOefQrdS8ZinIPRnpWHfkiojkGspeWZZewZC81AAHCw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:16:30.333277Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.0468","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ea2e7f3c4c03e3174a4176dfa129922d12685dc31700dbb5512062cd4fdd6e29","sha256:c2d4350160d617ca7b88e6f98d0bb569b2f68cd0a03e4225f6859eb64b9e48d0"],"state_sha256":"a4c683ab187bdf068aa2ef1630bbc6ff9f780a312f242c366a10a7aa6e29712e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IF5WFA3DS/EPr1XEXInSVxtdfsRn6B+GGHdy8bteT9qTjeMchx1upbP8MoXfDUTuaRw9lbjNxkcX7uCyZy2HAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T12:20:17.376982Z","bundle_sha256":"37517268b72c339ee518e7ffc3638df98103ee6a0f36580f09987d398de24ea0"}}