{"entities":{"Q7361350":{"pageid":31519589,"ns":120,"title":"Item:Q7361350","lastrevid":105365069,"modified":"2026-10-07T13:35:42Z","type":"item","id":"Q7361350","labels":{"en":{"language":"en","value":"HOL-CSPM - Architectural operators for HOL-CSP"}},"descriptions":{"en":{"language":"en","value":"AFP entry HOL-CSPM"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78e4d48b9e5eeeb307e214c406aa7e39e99d3af4","datavalue":{"value":"https://isa-afp.org/entries/HOL-CSPM.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361350$A79F0349-E1D5-4272-9492-62E8B06B0AB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb052650bb905168a9fc0f86a73304fd63e2a373","datavalue":{"value":{"time":"+2023-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361350$70330584-2C23-4F20-8D40-E1654BF46E8C","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"d32c5569b24429bd610b40a923f31e157766cf88","datavalue":{"value":"Beno\u00eet Ballenghien","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361350$F78D1349-39DB-4C30-A0A2-8A7F6FEF99A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"377f6dacffa409ec0258ec0f1e4d5c05260259de","datavalue":{"value":"Safouan Taha","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361350$4ACC9307-8523-4D38-8B2B-10393D8CD336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9f417d50d28c3248f72294b3f5970214162e0fab","datavalue":{"value":"Burkhart Wolff","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361350$3CA4D44C-398F-456A-8D5D-3C91664BF61C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eecbe6234793be9453192dcd82365ca65219144c","datavalue":{"value":{"text":"HOL-CSPM - Architectural operators for HOL-CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361350$EC493D6A-2B05-444D-B7A8-60C630FE15E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b83e64dfb53cf196ceb2630cf949a62474b7c301","datavalue":{"value":"Recently, a modern version of Roscoes and Brookes Failure-Divergence Semantics for CSP has been formalized in Isabelle: HOL-CSP. The session HOL-CSP introduces among other things some binary operators on processes that we will here generalize in a fully-abstract way. On these \"architectural operators\", we will prove the properties of refinement, the rules of continuity and the laws of interaction so that they can be easily used. Finally, we will give examples of their usefulness when trying to model complex systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361350$22051691-0F86-4E4F-B1A8-FC1A54D824B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361350$18F76D7C-CCF2-415A-B9C7-6F0A3C527574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361350$E54B7754-7F34-4B6B-A1AF-4E5E51058ED4","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361350$B8DA4D95-2A52-453D-B1F7-7B0537056387","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"293cf78b464351f418d3a24174a85211219eb562","datavalue":{"value":{"entity-type":"item","numeric-id":7361514,"id":"Q7361514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361350$7D9A9E43-4F92-4908-8E0B-A57E90323967","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"147d947971425f6e481a02787827e4705017a40a","datavalue":{"value":{"entity-type":"item","numeric-id":7360786,"id":"Q7360786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361350$2E490CD2-79F2-4FE4-BAE5-5C5BD068A80E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361350$ECB430E4-FDA7-4D2C-9615-4C0F0108DC93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HOL-CSPM - Architectural operators for HOL-CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HOL-CSPM_-_Architectural_operators_for_HOL-CSP"}}}}}