{"entities":{"Q2000000":{"pageid":2010742,"ns":120,"title":"Item:Q2000000","lastrevid":78339206,"modified":"2026-05-06T11:21:29Z","type":"item","id":"Q2000000","labels":{"en":{"language":"en","value":"Process algebra with strategic interleaving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7074492"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$B348F2BC-0FE3-4564-84D7-B8420181A29C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2de91902b774650b97fd9381f9341cfd27a4f5ad","datavalue":{"value":{"text":"Process algebra with strategic interleaving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2000000$7EDBFA81-7B28-47DD-8E28-5DD0C541E3EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e2b4e9cd3fb6aed6d407f8d0055718f02619401","datavalue":{"value":"1427.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000000$9FDEBEB9-0959-47C0-B4B6-C60BBCD075CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$F0EB9DC6-5F18-4128-AD0F-FB1947901347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$F4E45CB4-2A9E-4504-BFA3-63B89C17C707","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$BD9CC74F-8782-491D-98D8-C5F64802B813","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34188037f8b0cd35688ae234ade090010846bddd","datavalue":{"value":{"time":"+2019-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2000000$6A7E86E3-74D7-422C-9214-AA9E47EECCCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89be9ded5c3cd4894d992e542c85fa1750362b62","datavalue":{"value":"https://arxiv.org/abs/1703.06822","type":"string"},"datatype":"url"},"type":"statement","id":"Q2000000$6FC06F75-54A5-45C5-849A-6A7B5D433FE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"117c1d2880729f44554c220de4079dbef7de2f83","datavalue":{"value":"In process algebras such as algebra of communicating processes, parallel processes are considered to be interleaved in an arbitrary way. In the case of multi-threading as found in contemporary programming languages, parallel processes are actually interleaved according to some interleaving strategy. An interleaving strategy is what is called a process-scheduling policy in the field of operating systems. In many systems, for instance hardware/software systems, it is done with both parallel processes that may best be considered to be interleaved in an arbitrary way and parallel processes that may best be considered to be interleaved according to some interleaving strategy. In this paper algebra of communicating processes is extended with the latter form of interleaving. The established properties of the extension concerned include an elimination property, a conservative extension property, and a unique expansion property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000000$2EB47798-06AB-4247-87B0-1E10613741A7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"37372a8fd818128bdbd8c8814205e8545914cf51","datavalue":{"value":{"entity-type":"item","numeric-id":592037,"id":"Q592037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$61203803-3800-4095-A914-743A7F1EB709","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000000$91D18CF2-C708-4E14-9742-18B04BE6C1E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb1c613144789b8bd56c26d878940b5ddc77d366","datavalue":{"value":"7074492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000000$C8E92251-5EFD-4322-9F60-53641CBE2B7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000000$7B78A49B-FE1A-481D-8547-3A74CF58C1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5ab6718faab0059ce7a4c81b01e0ed1a60dab5","datavalue":{"value":"arbitrary interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000000$FFD94554-A58B-48A3-9FA2-49A424F63AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5187535c727604c5f2b83e80b3162c3ef4ea8c03","datavalue":{"value":"strategic interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000000$A943A3BB-F711-4760-9445-7E57413BA0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cf941813f02eca25fc87c0a37a746ec63f76148","datavalue":{"value":"abstract scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000000$C0BC4858-3A7C-4954-B016-6B4CE035AB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d53c948de4a011f5bab56b0e65a3afbb636456","datavalue":{"value":"interleaving history","type":"string"},"datatype":"string"},"type":"statement","id":"Q2000000$743AB7DD-5F1B-4DF8-ABE1-5D5850856570","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$962DF38A-FDF6-44A5-85D8-0F9CC60489F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"223809c62dd138dad71c9c396c1392f483582162","datavalue":{"value":"W2598508969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000000$9E9FBABC-8406-412B-BAA9-50565BD7D9B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a33c33473913776f7ea9512eb6c4a4d7dee86f6","datavalue":{"value":{"entity-type":"item","numeric-id":1107305,"id":"Q1107305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$AC37CDF0-28DC-4D01-BD2F-2FC72DB73DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059418ea9f61f958525aa0b31fa1ae3f365453fc","datavalue":{"value":{"entity-type":"item","numeric-id":1329194,"id":"Q1329194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$83B9B710-51C5-4A99-AD2C-F1EC47BBF4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$748E9768-275E-4492-B3F7-059F4686848B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f237ffdc06c25caaa38b1976628a4a44da1cf91c","datavalue":{"value":{"entity-type":"item","numeric-id":1203719,"id":"Q1203719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$B7E8B1BB-3868-49E5-B6A3-2EE67C817326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$89498181-4FF8-4A17-90D0-121016EAD7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df9e0175ef496e5ebd6df7b84e14f26ed96e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3999165,"id":"Q3999165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$63D739B5-20BA-4D86-A6F3-C14DBF07C8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$81C149BF-BFE7-4F5F-A5D8-83DDD80B49F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044b85c9080326f6ae22b59473efabeb325dcd51","datavalue":{"value":{"entity-type":"item","numeric-id":2461536,"id":"Q2461536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$DE943150-A331-4287-ACA1-04F9314483F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e467be8f9e4e7877f8f49fc4bdb49d7625cc0699","datavalue":{"value":{"entity-type":"item","numeric-id":2642901,"id":"Q2642901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$251E1B20-CC56-4662-A6C1-3D9E61013230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac46a572157dec25d0cfa968a89b3cfad05605f7","datavalue":{"value":{"entity-type":"item","numeric-id":2760255,"id":"Q2760255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$D744A72F-59D9-45BC-90A7-221DA94273D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$02AE48B2-ACA5-4C68-A45A-339E15A57714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$EE40E166-D48B-4BB8-9F01-2380DA2B5969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b00118c50d906501c3ee5320a86446c88da086","datavalue":{"value":{"entity-type":"item","numeric-id":4222918,"id":"Q4222918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$E14FA112-0163-40A8-A6C1-0CF40489E4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9828ac9d1bd7e467673c3d4b5d2c70594c659b02","datavalue":{"value":{"entity-type":"item","numeric-id":1802074,"id":"Q1802074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$59D51358-B62C-43FC-9CF3-5CD2344B7F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$69E8DFEF-CF70-4E28-8F66-EC993202CEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$1D384A68-B2DB-4811-B80B-9AAC7497EB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$BEFC8B20-9C98-44F7-9C73-108237252C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$C5185675-3758-4A84-8CF9-FB1E73DC6713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$C2CE992E-EA8A-4F56-898E-DBAE1F8B1216","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1105df1e76d20a660d0149978716a2946cc025b5","datavalue":{"value":"Q129395117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000000$B884A189-768E-4057-94A9-DE1B2DB6341E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdf8bc624f08b40b296c690d51b3d84eaf002071","datavalue":{"value":"10.1007/S00224-018-9873-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2000000$6614FF37-7B2B-46FA-8F85-842851598C3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e999db4b1221b8838879668a90f3379056a7aed","datavalue":{"value":{"entity-type":"item","numeric-id":5089618,"id":"Q5089618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdf5b85d873b9b83e9f2294b334726be4ce29dd","datavalue":{"value":{"amount":"+0.8354784250259399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2000000$8184269C-AFD1-4829-972A-CD9004BF16CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c94088766678bb396f5b0ef7bf9227f7aa97ad","datavalue":{"value":{"entity-type":"item","numeric-id":2461536,"id":"Q2461536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db71761cf9d252fa575eaa2c20025cb440a707c","datavalue":{"value":{"amount":"+0.8081774711608887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2000000$FDD21BAA-2D76-42BF-AC4F-A65A2ECBF928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968d843910517a6200f988454e2d7b4d8e741fc4","datavalue":{"value":{"entity-type":"item","numeric-id":5717067,"id":"Q5717067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a8101e61ea2a6bdaaac15ce05144f649575bfc","datavalue":{"value":{"amount":"+0.8001007437705994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2000000$CA8C2581-3B71-45C1-B3EE-8B31557E371D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c313a24e0902a9218f52ea0b4a4053e03b18ab0","datavalue":{"value":{"entity-type":"item","numeric-id":5480652,"id":"Q5480652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ed3dae7a51cbd6a2973ee0beb74ce55a845af0","datavalue":{"value":{"amount":"+0.7936344742774963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2000000$B2F7A533-BB48-4A6F-9C88-11579DDAE5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd66c6cfc5d869384466ec52a3a280cd57f793d","datavalue":{"value":{"entity-type":"item","numeric-id":2642901,"id":"Q2642901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c48a9b7de8edac7e1c08f6d1eae9832a892245","datavalue":{"value":{"amount":"+0.7842108607292175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2000000$4BD73B09-91F9-4D3A-935C-5969C98AC8CC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2000000$8D8C98EC-4429-4C89-A3B4-A42ED34C56A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Process algebra with strategic interleaving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Process_algebra_with_strategic_interleaving"}}}}}