{"entities":{"Q1077153":{"pageid":1087905,"ns":120,"title":"Item:Q1077153","lastrevid":70062165,"modified":"2026-04-13T12:10:43Z","type":"item","id":"Q1077153","labels":{"en":{"language":"en","value":"State machines and assertions: An integrated approach to modeling and verification of distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956415"}},"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":"Q1077153$4184D918-D7F2-4F05-B507-48B16A36E053","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87f10831465b6367b3c707b32b5d06025c01e9be","datavalue":{"value":{"text":"State machines and assertions: An integrated approach to modeling and verification of distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077153$3BF14827-3B26-4DB1-B82B-27ACE1BC137C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcd3fea1384fb5abeeb8222d43e5c18358a8f4ff","datavalue":{"value":"0594.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077153$81725B1F-43AF-41D2-8765-EE455CBE2EA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c68852a6f6bf6ba7394e7917078ff875ba953cc4","datavalue":{"value":"10.1016/0167-6423(86)90002-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077153$3B321F78-7F1E-48F2-83B4-A73D64DC74C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f1160f1bba0f71357b4c9142448431f86e5dba","datavalue":{"value":{"entity-type":"item","numeric-id":1077152,"id":"Q1077152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077153$3FC246C0-9DDE-4E1C-A0F2-534248027C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67f8e7e382c461b0f6699032d902087883fd9a72","datavalue":{"value":{"entity-type":"item","numeric-id":1064049,"id":"Q1064049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077153$25A04472-33D8-48EA-8D10-C76BD64E4928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7521cac5a506b0931a386e57847cadd1c0f2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":661068,"id":"Q661068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077153$F6D95119-96B7-4FFA-B0D2-BD9832438B53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077153$EF84D1EF-77CC-4203-90E6-065A8C80C2AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1077153$0EE7676F-0458-4E18-8DDD-5155106CE505","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077153$3C534C18-98DE-4904-AFB9-0C4C980B9EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077153$1178BEB4-4B50-4005-BFEE-997C6F8D6779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78f3976d1df98953784ec8e26ac2f4b0004127c3","datavalue":{"value":"3956415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077153$0CDE39FB-780A-4529-ACCA-5F277198C4FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6fb1e6b0afdf5f319692b43e934aebe0845fb4","datavalue":{"value":"protocols for asynchronous message passing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077153$2A1C6180-05E2-4495-BB3F-35685BBE4D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a19def108f8bcecf726e8d8b94bc8c202612bd62","datavalue":{"value":"finite state analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077153$D3C507FE-F092-48CB-9B6E-384B5807CF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d468206985fbcef42d28155e824e78a97f44779","datavalue":{"value":"axiomatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077153$81A84024-B6AC-479B-8F8E-86F738D07884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5506803e9087af1ae1e4bfbe698c97e5dc9141","datavalue":{"value":"assertional proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077153$30F4F201-14C5-48C6-9BC0-AF940D9FEB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077153$AE21196C-27D9-432F-93AC-9B600C386FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce010992756178a904c615ea6543ac2946e2e638","datavalue":{"value":"unspecified message receptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077153$8AD07582-7256-414A-952A-8A09BB49E0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43229d31f59b60466cf69e18918c7e1843f792b2","datavalue":{"value":"boundedness of channel size","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077153$835F9DAF-A431-4A80-990C-0431AF47739E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077153$A536BD62-10DB-40D2-B346-AB036EB3ADDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ade487ddb52bcd6cacee1b13c2f2acf093490ea8","datavalue":{"value":"window flow control protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077153$B94B2912-8DD9-43AC-ACEF-11BFAF1A972C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06dacf54f2b6d6a113f47a7b4aee1e9d715afb58","datavalue":{"value":"alternating bit protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077153$AC7D68FE-BA5E-460A-B1AD-A8B33E2C012D","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":"Q1077153$663616C0-6BC5-4443-A537-48EC07293727","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2145065a28e38034d6817e3b2071aa3fc63b22f4","datavalue":{"value":"https://doi.org/10.1016/0167-6423(86)90002-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077153$D346D3B3-0508-4219-A59C-F8D377780E62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee2584e08bd6f7701902813723374ec02013d16a","datavalue":{"value":"W2056484775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077153$F858C24A-1A25-40BD-BE65-BE114A693BE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c231767e805dc68277b675ed1ccd29e9e10d1d98","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ce356392a889019375bd72885109592c497665","datavalue":{"value":{"amount":"+0.7264503240585327","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":"Q1077153$06BC7B52-8607-4FD3-8F21-82D71193B142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1214346d28f8041e3a6f7d413ee0ae32d3b2d5ae","datavalue":{"value":{"entity-type":"item","numeric-id":3688295,"id":"Q3688295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3dbba876405278f32f58d28e3cc64f410ebf743","datavalue":{"value":{"amount":"+0.7193419933319092","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":"Q1077153$34F5B18C-E012-4D3A-83F5-74463A45D44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceac4dc8767d8f2cb625fd51ac7eadfd3d66c1c8","datavalue":{"value":{"entity-type":"item","numeric-id":432134,"id":"Q432134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d5364a05c73e53d6d184cccf52424303b412eb","datavalue":{"value":{"amount":"+0.7175217866897583","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":"Q1077153$A77171AD-9189-4C67-8EF5-DFA992AA9285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54aaee8611eb010c6690546fd847626948962860","datavalue":{"value":{"entity-type":"item","numeric-id":2154028,"id":"Q2154028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d132d9acb3a7b46aa9fc79d2f513d1ea1ff7f6be","datavalue":{"value":{"amount":"+0.7022491097450256","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":"Q1077153$E7F0D1C0-9894-44B8-83B0-F577637A2B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011da9fe8e28030487f6e928b5cacd8552997d43","datavalue":{"value":{"entity-type":"item","numeric-id":4473980,"id":"Q4473980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72207879be6db5a283b74f5edb7cc89cf612d937","datavalue":{"value":{"amount":"+0.7019582986831665","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":"Q1077153$8F9B689C-7195-4D00-9720-FCB1A23D36E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"State machines and assertions: An integrated approach to modeling and verification of distributed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/State_machines_and_assertions:_An_integrated_approach_to_modeling_and_verification_of_distributed_systems"}}}}}