{"entities":{"Q1089787":{"pageid":1100539,"ns":120,"title":"Item:Q1089787","lastrevid":66109551,"modified":"2026-04-12T07:37:19Z","type":"item","id":"Q1089787","labels":{"en":{"language":"en","value":"Concurrent histories: a basis for observing distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4005589"}},"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":"Q1089787$BD0665FA-068B-40F9-B045-F5543AEFA778","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"163ace1097d33643aafbe83c069f7a901448b769","datavalue":{"value":{"text":"Concurrent histories: a basis for observing distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089787$7EACDDEE-3DF8-4FE9-8A35-6B0FC444F4A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b8bade53778f9038bacab42c35f68b0620abdef","datavalue":{"value":"0619.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089787$6456CF28-3C6A-4B37-A185-03ABB2406E3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cd41171ebd803cd48049c7ec1fda856c53cff28","datavalue":{"value":"10.1016/0022-0000(87)90032-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089787$373FE23A-5022-4CB7-BD24-363B2BA017B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$4859EB66-49DF-4ABC-BE1F-A2F7B4A1DD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$688B78D9-5B36-4629-A1E5-33B097A4318A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$AEF48B20-907C-41CE-BEF4-EE1F5CA69B82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1089787$FDDF6E67-E8BE-4C65-AFAF-61CF0981AC54","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5aa72b9133dc4c123ae9de241d9863e61ad639d5","datavalue":{"value":"A new notion of transition systems, called distributed transition systems, is introduced, where states are sets of processes and transitions specify which processes stay idle. A notion of observations based on partial orderings, called concurrent histories, is defined on computations. Several observational equivalences, e.g. bisimulation are given on observations. As case studies, Petri C/E systems and P/T nets, and Milner's CCS are translated to distributed transition systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089787$143DFF5E-864D-4EA6-ADE1-350B8530E5A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089787$354154AD-299B-4525-A174-860E4241100C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31de735969f8ab76ae3d07bf579eeff28062b0df","datavalue":{"value":"4005589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089787$9A29A21C-F6B7-4F91-85F9-5A77C025F5F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f658465fb231afb817eba10c500b991a592a0e1","datavalue":{"value":"distributed transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089787$01C5B9BA-CE77-4E8C-AC89-6BC6D77F699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5da8d739bd6e8497332d812db4110025659caa","datavalue":{"value":"processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089787$5439F26C-C116-4C1D-810E-0E0F409DFAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0636deed5aa2016f414be6e90aa152a72f61b966","datavalue":{"value":"observational equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089787$EA2EB281-601C-4E4B-8156-35C1FD13D7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089787$45658529-997B-46A6-BA48-A56629BD4B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bac18243d84fc8c8ade90aff8c2833e2c3e5c830","datavalue":{"value":"Petri C/E systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089787$60F2029E-9AFA-4FEC-A0F9-000FDB860D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74a5a8db577fc4e7b02f68b1f4ca76987714e9c","datavalue":{"value":"P/T nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089787$92C9C19E-136A-4307-8448-FAC33305A4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089787$E21108BE-E2F1-4E3A-B405-8864C6FA26E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e8aa945d2b284d7eec497cdd61e80c0fb5cd405","datavalue":{"value":{"entity-type":"item","numeric-id":42208,"id":"Q42208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$8F75EEE9-C053-4C91-9F6A-27BB8B6CE1DE","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":"Q1089787$5227F98A-463F-414D-9170-9A5F66A82CD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a73c80bd85832121877d1d2d9f04fb9a1d9787a","datavalue":{"value":"https://doi.org/10.1016/0022-0000(87)90032-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089787$AA1BA409-5017-47A4-BC6A-E2B4F7E6D9F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f629de09e3359afc6120bb65222c81645aa8560f","datavalue":{"value":"W2027256978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089787$E74FA745-F842-43AF-A3D7-4F7ED22CD6A2","rank":"normal"}],"P223":[{"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":"Q1089787$478D0984-3BD3-42C4-B22D-C3DD4BDF1E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e764bcaa3f10a7885ad757dc5e688d591a1fc064","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$9F5E9210-EBDA-4C80-9893-6DD7FF1510AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195f51dec9ff7be3349ce6090febf89facd7ca7b","datavalue":{"value":{"entity-type":"item","numeric-id":3666283,"id":"Q3666283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$3403456C-0096-4A12-AFB9-21CE1B98AB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35a1a80c0da3d3f61672040176573b0342fc7b3","datavalue":{"value":{"entity-type":"item","numeric-id":3667927,"id":"Q3667927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$5D2EC941-4C50-4343-98B0-D0D6F1416C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952ffa83772f58e853b610fb1b8d330b822f913d","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$82732B23-2C98-4645-A9CD-DC7AD620D130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4edf21959386e8288a2d2f681ad3e32ee06ea4","datavalue":{"value":{"entity-type":"item","numeric-id":3681915,"id":"Q3681915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$738E2B69-FA82-43E8-9614-2AEDAEFDF319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea71754d2757f985998ed441179ef90ef9145473","datavalue":{"value":{"entity-type":"item","numeric-id":3677155,"id":"Q3677155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$90A6DF49-7986-446A-AC17-85D2C76AA080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58b6e891ceaaf10dbc5c4d9dbd4c4529d90e41e","datavalue":{"value":{"entity-type":"item","numeric-id":3883515,"id":"Q3883515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$6DC78A89-9FA4-491E-8762-28EA70F3453A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7f699b4a74cb07144ec83c8a61ea5234c35a95","datavalue":{"value":{"entity-type":"item","numeric-id":3675536,"id":"Q3675536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$12F56FB4-D5AF-4FBB-B728-D8C1FB6BB859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$71CF79AF-67BF-47AD-9391-3791B143E487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$498D8EED-8AE9-483C-A1E7-49CFE50FC62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc05c8251052835015cae86712b180ed9382b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1256313,"id":"Q1256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$D8CD0D3A-5F8A-485F-934B-ADD1B7DB0B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7218fb4217aac67a16394ff1ca6cf143809e636","datavalue":{"value":{"entity-type":"item","numeric-id":3750114,"id":"Q3750114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$4C0A6F01-AD54-4B93-85F1-74AEB05C39BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b721cd3525f2d41eb2e353d4f22f90cacb67d","datavalue":{"value":{"entity-type":"item","numeric-id":3325068,"id":"Q3325068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$514BD4FF-ADA2-4DE2-9114-C1AE4B618710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$798A54B9-E067-4882-820E-71481B50615E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a9ce9c8c880aefc9d2dc9b570d0d80abecb8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3042377,"id":"Q3042377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$805DF7A1-88CF-4E87-AAC8-5AD2AB1DE33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$F217B743-9DB7-45D0-B93A-5F837BBA34F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d4d2e2819900ec9e5a28db958765bfc162f27","datavalue":{"value":{"entity-type":"item","numeric-id":3675545,"id":"Q3675545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$D6760D10-272E-4E48-96CC-376AFBB958B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$1F5A84B8-5167-4243-B454-A309BCD2E711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1b24a2ea95e6c2a531a0bda6d30d4354ad8943","datavalue":{"value":{"entity-type":"item","numeric-id":1145503,"id":"Q1145503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$03EBFB53-63B6-4623-91C8-A6827E6A1C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089787$7CA4E1FF-BFBD-4C45-B03B-FD882E5EADDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef03de1c029ad69a616aff503f9690892d74719f","datavalue":{"value":{"entity-type":"item","numeric-id":3681915,"id":"Q3681915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741a4265b3332ec6b590f7ff2bedf51a6b66f91d","datavalue":{"value":{"amount":"+0.7934688329696655","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":"Q1089787$2A25CE7A-0D20-4857-A6F5-F674FB481E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c178ae962ae9d88f343f8d8debc8791ba75d0d","datavalue":{"value":{"entity-type":"item","numeric-id":3336705,"id":"Q3336705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead5b2db75c87df36ab51576685e72e2bd526212","datavalue":{"value":{"amount":"+0.7757861018180847","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":"Q1089787$4B58334F-97CD-412C-AFA9-3F5252C5CA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c887dd986c3a1150ead5cca8180a3b0f2f95f4","datavalue":{"value":{"entity-type":"item","numeric-id":1329198,"id":"Q1329198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55957bea8eea3fedf5dbaf8401cda2f9322738e","datavalue":{"value":{"amount":"+0.7597551345825195","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":"Q1089787$5DFBEE64-FDA9-41CE-9796-0A39A618177E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d8c972e141a126c5a6c9ad613f90809ac1f611","datavalue":{"value":{"entity-type":"item","numeric-id":4029582,"id":"Q4029582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b40ba07d0528cd46b89f02acec60c52983ca993","datavalue":{"value":{"amount":"+0.7572683691978455","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":"Q1089787$07D22510-319A-4E38-B3A9-95FDB40D9CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c532279a53573261465a91dacf27a5450fe61e16","datavalue":{"value":{"entity-type":"item","numeric-id":2767984,"id":"Q2767984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b40ba07d0528cd46b89f02acec60c52983ca993","datavalue":{"value":{"amount":"+0.7572683691978455","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":"Q1089787$956738D8-860B-4172-B8FB-71CC6C345C20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent histories: a basis for observing distributed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrent_histories:_a_basis_for_observing_distributed_systems"}}}}}