{"entities":{"Q5971389":{"pageid":8148185,"ns":120,"title":"Item:Q5971389","lastrevid":97794005,"modified":"2026-06-05T15:25:43Z","type":"item","id":"Q5971389","labels":{"en":{"language":"en","value":"Steps in modular specifications for concurrent modules (invited tutorial paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664922"}},"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":"Q5971389$A8ABB581-CE53-4109-B5EE-E939BEE137E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87dca573b58ea4142cc31a506eea4b74e3d49938","datavalue":{"value":{"text":"Steps in modular specifications for concurrent modules (invited tutorial paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5971389$45C5C0C4-64FE-47F6-82A0-005B0300CECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a867ff010d7c5e73d0d722f46bf86387a2b61f3a","datavalue":{"value":"1351.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971389$52DF0C37-36FC-4182-8EFD-53F587D8B4C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5aecfa24efe1d6531448974404886b2e3311e4c","datavalue":{"value":{"entity-type":"item","numeric-id":1648034,"id":"Q1648034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$857725B9-23E6-46BE-AC33-74776A5C93E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478b1cc077659b300d5df2d6d7ad6015aac688d4","datavalue":{"value":{"entity-type":"item","numeric-id":964498,"id":"Q964498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$6647B61D-81FF-4E32-BC20-C403628A8123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0eb51f415e5d6830c006f29bf0f051478fa880","datavalue":{"value":{"entity-type":"item","numeric-id":283752,"id":"Q283752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$414D0AA2-357D-417B-AE79-482C98805074","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$57E734DC-84A6-4132-9B3A-1E60F26A1C21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5971389$2EA27249-5CF1-4C39-B420-519224ACB2B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971389$74772CB4-E350-41F8-9D47-56EFF686F1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971389$378F156A-D208-4F5B-9020-491537FAEB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971389$0DCBA709-FAB6-4708-8052-930B3E371F7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"335c9c9d49cf593a25d6905bcbd8ff958117d127","datavalue":{"value":"6664922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971389$4BC631F2-9EAC-4D24-9201-9D81E695E05C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971389$3893E33D-140E-46CA-A149-0977FBE1CAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971389$7C6880D6-AD09-41CA-B73D-EB0CB0A8E164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971389$32590AC2-099E-4BB5-8596-DB169C6280C5","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":"Q5971389$AC222059-E59C-4C97-B143-FD23423F07D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d6e6c0c4541ece160534e7d24b3a6fcf320751f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q5971389$983D383B-185E-41EE-A97D-E57DA4C7CEF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcf3d15e5158b6d2646c5128964211a73279d703","datavalue":{"value":"W2208101949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971389$CCE36597-F1A5-420B-AD2F-E106D9CF3A74","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"01b02bdf973a10039cf190ef7e0854b96d44b516","datavalue":{"value":"Q113317742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971389$EB2EB76D-0CA6-42EC-9D7B-6E11BFC7A8A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$DB90C9DB-7241-45BE-BE1E-96CE259656DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$4CD08F2F-F993-474B-B0E0-699CBAADD961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$CA34D0D5-92A8-4A78-8146-53E4CD239ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408dd153356546cf4f54bb5174901182b587cfa6","datavalue":{"value":{"entity-type":"item","numeric-id":3617714,"id":"Q3617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$C502F4EC-EBEB-4FC6-BD47-D2F23E7E5A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2889d04761e06240c487cc63b75905e4a3cf42","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$31EBCC22-0857-49DF-A325-3483ACB769E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f3cf5cc8414064d2f13139103d36becc2b2b32","datavalue":{"value":{"entity-type":"item","numeric-id":3617704,"id":"Q3617704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$C10805C5-6EAB-47FC-BB6D-24F28D22D8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb33ef9ac4826d45084ea1d994a748baa58950f","datavalue":{"value":{"entity-type":"item","numeric-id":5891776,"id":"Q5891776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$233995D6-7CA6-446E-9D82-BB38581654E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$C524CFAE-9AAB-427C-A99C-8A7936E71BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88107773061b55a684a37ff2030cb91e127bb568","datavalue":{"value":{"entity-type":"item","numeric-id":5408549,"id":"Q5408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$7523E027-C48E-4BE6-9447-9D8E478FE397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$4479FC21-6C91-4FC6-A299-2B827E67A58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2934261f50a1e0b490a2bf100b0d26006aa930a","datavalue":{"value":{"entity-type":"item","numeric-id":2931839,"id":"Q2931839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$2B9F143B-DF22-49A1-9A9D-4F4CA4787449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90600d640bf241ff0996bc9c4593429acd22ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$53E25A9F-5554-4FFA-BC55-43EFE829EBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$D3F60B13-D730-41B5-8AEB-434A12B33766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$6D7DDD57-9894-44F9-A852-E726351020D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$35ABD20E-4BB7-4AE6-B4A5-FFBB534E8B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc6362ae6c42ca2e8e1880257b6d86ff0e45ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5326285,"id":"Q5326285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$B90AFB12-6B95-4FA9-89CE-EDFACEF8B005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928940c82f5eab2df5a1704d32409a802ad3f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971389$141BE86C-AFF3-4114-83C0-B60D517964E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9375118ebf226035872c74bf4cfe0d248af2813a","datavalue":{"value":"10.1016/J.ENTCS.2015.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971389$1E601318-4531-4C52-852D-6BB6DFE70C3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3397a127c507976e0bec975424d3ee94ea4faba","datavalue":{"value":{"entity-type":"item","numeric-id":1648035,"id":"Q1648035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ee166d0b0ffb2659109f3521379e16d11c68f0","datavalue":{"value":{"amount":"+0.92312276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5971389$99399F45-9348-4566-9071-6CADE11F79DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3745f18a99943132d8f211d6d7a304f23b3c2fde","datavalue":{"value":{"entity-type":"item","numeric-id":4941937,"id":"Q4941937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45490d87ec2e16fd5de84b21b5d48f7fc2e218d","datavalue":{"value":{"amount":"+0.88792986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5971389$A915F25C-002F-4BE3-8EAF-58A263E1F4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882179dcd5deae32cf94050811dfebe092bb0cad","datavalue":{"value":{"entity-type":"item","numeric-id":5408549,"id":"Q5408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8aa52ecee63afffdbf32d038a5c95adef59bdd3","datavalue":{"value":{"amount":"+0.88189524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5971389$BE0C16B7-185A-41F8-BD19-20F379E835A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"643c63be67a841719d4d023512efb4bdcdf58291","datavalue":{"value":{"entity-type":"item","numeric-id":3696528,"id":"Q3696528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0368614653130039528f83634eaf35bfc4a9bd86","datavalue":{"value":{"amount":"+0.8692489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5971389$AC7F7531-BADC-48EE-8C30-EC730E4A8055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc9b0d04ab3450cb241ffa1da532485b511cc58","datavalue":{"value":{"entity-type":"item","numeric-id":5326285,"id":"Q5326285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb94f73cddd599383ebf4fda16630f97f245efe","datavalue":{"value":{"amount":"+0.86919504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5971389$1445832C-9FE2-4EB9-84D9-0C6280CC6C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4869d56a5d81441ad26df78f36e7c577a37ecd1b","datavalue":{"value":{"entity-type":"item","numeric-id":1802074,"id":"Q1802074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358a78d869a13e40689b344028546e6abdc7a3cd","datavalue":{"value":{"amount":"+0.8686368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5971389$DE1E972F-5DE0-45CF-B310-6E8D0C13CE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ea3dcd3c7f39e06aec6e5356a4d598daf2ead28","datavalue":{"value":{"entity-type":"item","numeric-id":5295514,"id":"Q5295514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4149afea35613e836a217796d4e7d38da70a5c6a","datavalue":{"value":{"amount":"+0.86498874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5971389$44B33953-9881-471B-9BD8-26BB345C31E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a6c22db74abf6b1a0da35848161fb1d6ce45c0","datavalue":{"value":{"entity-type":"item","numeric-id":5044736,"id":"Q5044736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d90ea3ba56820f2bd8b9d3af8cfe1a8ce14da7","datavalue":{"value":{"amount":"+0.8649821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5971389$5B8C4B5C-393F-4C78-A075-F4E07022FE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96387e7e6fa017d89347a011847cd77dabf662ea","datavalue":{"value":{"entity-type":"item","numeric-id":4226631,"id":"Q4226631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da83d816324655a8924b602abec2041698ce27f","datavalue":{"value":{"amount":"+0.8631924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5971389$55BF61F5-AD7F-4269-9614-60838B7CE8DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Steps in modular specifications for concurrent modules (invited tutorial paper)","badges":[]}}}}}