{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:HJ3T2T4UL7D6AJZYYCQYNMFROL","short_pith_number":"pith:HJ3T2T4U","canonical_record":{"source":{"id":"1307.0204","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-06-30T13:54:29Z","cross_cats_sorted":[],"title_canon_sha256":"3c1a39b38cdc95ce235ddd4d0879f7186f7570a266b1452f1e99db967f462b23","abstract_canon_sha256":"56a73469eca934a0305df41add78dc8784a50bd8c7fed626b5a0810a1f71c449"},"schema_version":"1.0"},"canonical_sha256":"3a773d4f945fc7e02738c0a186b0b172f8daaf59ceb3e055decacd5b8785ddcf","source":{"kind":"arxiv","id":"1307.0204","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.0204","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"arxiv_version","alias_value":"1307.0204v2","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.0204","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"pith_short_12","alias_value":"HJ3T2T4UL7D6","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"HJ3T2T4UL7D6AJZY","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"HJ3T2T4U","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:HJ3T2T4UL7D6AJZYYCQYNMFROL","target":"record","payload":{"canonical_record":{"source":{"id":"1307.0204","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-06-30T13:54:29Z","cross_cats_sorted":[],"title_canon_sha256":"3c1a39b38cdc95ce235ddd4d0879f7186f7570a266b1452f1e99db967f462b23","abstract_canon_sha256":"56a73469eca934a0305df41add78dc8784a50bd8c7fed626b5a0810a1f71c449"},"schema_version":"1.0"},"canonical_sha256":"3a773d4f945fc7e02738c0a186b0b172f8daaf59ceb3e055decacd5b8785ddcf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:38.072552Z","signature_b64":"7o4Cm8iKhtgW2Y5hELtBCab+e/kwURQ3TaMCSHGrqtIRYGxjDtQF4LNwPaIZ1jOB1OWGGMDMKuFr6eUmIoiaDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3a773d4f945fc7e02738c0a186b0b172f8daaf59ceb3e055decacd5b8785ddcf","last_reissued_at":"2026-05-18T01:37:38.072013Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:38.072013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.0204","source_version":2,"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-18T01:37:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fZbYYtWjsVnnZLt9fUu8cG4SrsgJ1BVKkJS5PsAhY5GWlCS8BjH7q8XaPNRLhIxGuaBLFomfByRxFwITUt0ACg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T23:03:53.698768Z"},"content_sha256":"d454b3bc09df4394361ea7d6ea279782fbc7fe9a9a4e4d4d79eac23600bd7a03","schema_version":"1.0","event_id":"sha256:d454b3bc09df4394361ea7d6ea279782fbc7fe9a9a4e4d4d79eac23600bd7a03"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:HJ3T2T4UL7D6AJZYYCQYNMFROL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Connector algebras for C/E and P/T nets' interactions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Hernan Melgratti (FCEyN, Pawel Sobocinski (ECS, Roberto Bruni (Dipartimento di Informatica, Ugo Montanari (Dipartimento di informatica, Universidad de Buenos Aires - Conicet), Universita di Pisa), University of Southampton)","submitted_at":"2013-06-30T13:54:29Z","abstract_excerpt":"A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors. In a recent paper, an algebra of stateless connectors was presented that consists of five kinds of basic connectors, namely symmetry, synchronization, mutual exclusion, hiding and inaction, plus their duals, and it was shown how they can be freely composed in series and in parallel to model sophisticated 'glues'. In this paper we explore the expressiveness of stateful connectors obtained by adding one-place buffers or unbounded b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.0204","kind":"arxiv","version":2},"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-18T01:37:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sznp4r/89dOQQUqobv7q3LX/1Nlzz1hE41LVXirAk96p11xICnPnlAQ7jhBnw/NwihRw5Y8IjX9zkLzHHtPuBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T23:03:53.699460Z"},"content_sha256":"77780fd41bb8934d5d338894d05bde74c924c63f97394bec934a96b708876410","schema_version":"1.0","event_id":"sha256:77780fd41bb8934d5d338894d05bde74c924c63f97394bec934a96b708876410"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HJ3T2T4UL7D6AJZYYCQYNMFROL/bundle.json","state_url":"https://pith.science/pith/HJ3T2T4UL7D6AJZYYCQYNMFROL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HJ3T2T4UL7D6AJZYYCQYNMFROL/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-04T23:03:53Z","links":{"resolver":"https://pith.science/pith/HJ3T2T4UL7D6AJZYYCQYNMFROL","bundle":"https://pith.science/pith/HJ3T2T4UL7D6AJZYYCQYNMFROL/bundle.json","state":"https://pith.science/pith/HJ3T2T4UL7D6AJZYYCQYNMFROL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HJ3T2T4UL7D6AJZYYCQYNMFROL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:HJ3T2T4UL7D6AJZYYCQYNMFROL","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":"56a73469eca934a0305df41add78dc8784a50bd8c7fed626b5a0810a1f71c449","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-06-30T13:54:29Z","title_canon_sha256":"3c1a39b38cdc95ce235ddd4d0879f7186f7570a266b1452f1e99db967f462b23"},"schema_version":"1.0","source":{"id":"1307.0204","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.0204","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"arxiv_version","alias_value":"1307.0204v2","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.0204","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"pith_short_12","alias_value":"HJ3T2T4UL7D6","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"HJ3T2T4UL7D6AJZY","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"HJ3T2T4U","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:77780fd41bb8934d5d338894d05bde74c924c63f97394bec934a96b708876410","target":"graph","created_at":"2026-05-18T01:37:38Z","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":"A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors. In a recent paper, an algebra of stateless connectors was presented that consists of five kinds of basic connectors, namely symmetry, synchronization, mutual exclusion, hiding and inaction, plus their duals, and it was shown how they can be freely composed in series and in parallel to model sophisticated 'glues'. In this paper we explore the expressiveness of stateful connectors obtained by adding one-place buffers or unbounded b","authors_text":"Hernan Melgratti (FCEyN, Pawel Sobocinski (ECS, Roberto Bruni (Dipartimento di Informatica, Ugo Montanari (Dipartimento di informatica, Universidad de Buenos Aires - Conicet), Universita di Pisa), University of Southampton)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-06-30T13:54:29Z","title":"Connector algebras for C/E and P/T nets' interactions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.0204","kind":"arxiv","version":2},"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:d454b3bc09df4394361ea7d6ea279782fbc7fe9a9a4e4d4d79eac23600bd7a03","target":"record","created_at":"2026-05-18T01:37:38Z","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":"56a73469eca934a0305df41add78dc8784a50bd8c7fed626b5a0810a1f71c449","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-06-30T13:54:29Z","title_canon_sha256":"3c1a39b38cdc95ce235ddd4d0879f7186f7570a266b1452f1e99db967f462b23"},"schema_version":"1.0","source":{"id":"1307.0204","kind":"arxiv","version":2}},"canonical_sha256":"3a773d4f945fc7e02738c0a186b0b172f8daaf59ceb3e055decacd5b8785ddcf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3a773d4f945fc7e02738c0a186b0b172f8daaf59ceb3e055decacd5b8785ddcf","first_computed_at":"2026-05-18T01:37:38.072013Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:38.072013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7o4Cm8iKhtgW2Y5hELtBCab+e/kwURQ3TaMCSHGrqtIRYGxjDtQF4LNwPaIZ1jOB1OWGGMDMKuFr6eUmIoiaDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:38.072552Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.0204","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d454b3bc09df4394361ea7d6ea279782fbc7fe9a9a4e4d4d79eac23600bd7a03","sha256:77780fd41bb8934d5d338894d05bde74c924c63f97394bec934a96b708876410"],"state_sha256":"0e9ad1023365d45103513bc99f521f1da0612bfe02f33e0e2ca5be31b7698e72"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cwI3If1PifkPQ9eWZ3YXd+oJ3lskTOUbM20wgCuikCUbyu+r2mqqG8s304aSH4I1dawI5HvxZRCVI3TqUxcHDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T23:03:53.703105Z","bundle_sha256":"b039905583687c30c627cfaa32bacfc421987ed6243596c9032d4c75e003149f"}}