{"entities":{"Q791319":{"pageid":793167,"ns":120,"title":"Item:Q791319","lastrevid":64368477,"modified":"2026-04-11T19:23:44Z","type":"item","id":"Q791319","labels":{"en":{"language":"en","value":"Port automata and the algebra of concurrent porcesses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3850477"}},"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":"Q791319$E30ACB04-983D-489F-A44B-2789A4847AB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cd34c6b21b7cea8c01ff0ac31f983e036c5fd17","datavalue":{"value":{"text":"Port automata and the algebra of concurrent porcesses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791319$76FC24EA-B449-46CE-9A14-3C2798042558","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8e199b828a120201022fe9ba6024417e46c124e","datavalue":{"value":"0535.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791319$E36F670F-F41F-4227-A27D-C15914042961","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1240fc3e2cc08f0375219227bdce7030633afa5","datavalue":{"value":"10.1016/0022-0000(83)90028-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791319$3AD72DB6-5916-4D83-A512-5B10E2BD5F1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfb2f9c9335d26392d49708ca720757aac1b3237","datavalue":{"value":{"entity-type":"item","numeric-id":791317,"id":"Q791317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$59A35C91-3D6F-4851-B611-90524428C615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb3f116c104fd8501cd0b8f4b9f1940e06b14dad","datavalue":{"value":{"entity-type":"item","numeric-id":310163,"id":"Q310163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$1506AFBD-6F2C-4104-A441-982C0793CCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0b3d84987120e6a0cb256462f88e22a3335d28","datavalue":{"value":{"entity-type":"item","numeric-id":791318,"id":"Q791318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$12C5B85A-1BF1-452E-B05A-380435AD884E","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":"Q791319$C4EBB4E5-2298-4CA5-A991-9294AC210A4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q791319$D5D4A56A-5F97-4C57-AAAC-95E0F3738911","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"837e97677e4cb49de8e30d843bb8fa75e319e434","datavalue":{"value":"A relatively simple and straightforward model of communicating processes is presented. The model parallels that of \\textit{G. Milne} and \\textit{R. Milner} [J. Assoc. Comput. Mach. 26, 302-321 (1979; Zbl 0395.68030)], but here a process (i.e. the unit of concurrent processing) is modelled by a port automaton, a certain type of nondeterministic sequential machine. To define and to compute the response of the port automaton, a theory of greatest fixpoints is applied. It is shown that using an automata- theoretic approach to concurrency, an algebraic notion of process may be defined without requiring ordered sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791319$E557D44E-399E-4F72-AC21-5D89034031F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791319$C67DD985-0123-4249-A5D3-C217A52CD540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791319$D43F2D01-A611-46E0-B1F0-DB52C3EF6B96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6caac794eda9524477aa857f59fded12e3143a3","datavalue":{"value":"3850477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791319$97D9FBC9-988F-4EFB-9B65-1E07898B90AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q791319$8A932ACD-B577-4227-BB73-4BABFD461DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2889685a7b60123bc21f885d659958db56c69380","datavalue":{"value":"concurrent processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q791319$D798C895-8C87-4341-BA44-4118B6F930A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d90a72cc805e766c81e431f00c9a896beba0428d","datavalue":{"value":"port automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q791319$D7D2C28F-28C1-4D5A-BA59-E5A8D17856CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c388e19121cad5fc0b0234c6a74194eab98a6779","datavalue":{"value":"nondeterministic sequential machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q791319$11B832EA-CB9B-4E03-BDD5-4A85A67A2449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dadbda5315c75cfc801b59e919c478a30be05a1","datavalue":{"value":"greatest fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q791319$F0C00B01-3994-489E-800C-A982AE01804A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q791319$196691F4-AB4D-42F1-A698-BE3989250811","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ef154828838154f55171333cf59109f6242d31f2","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$890AA141-D4C5-4497-BDF8-7E977FBE66E2","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":"Q791319$D34EA0A2-7555-4423-8170-81E911348EE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bedcd0aaae5cb1389ff93d0e331433f52394204","datavalue":{"value":"https://doi.org/10.1016/0022-0000(83)90028-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q791319$0330A062-1DC4-4297-A0BD-3CE70E242983","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2827cbe6395626fa4fe2a4ad36ae680e77a5a415","datavalue":{"value":"W1974905959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791319$8102CDB0-2433-478E-A545-466F224366F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30a70dc3cf5f2a7421b866c5e4b6f91593e27b1","datavalue":{"value":{"entity-type":"item","numeric-id":4079789,"id":"Q4079789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$52D4CAB2-F860-4A64-80A3-714EE398268D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffcb67a0196ab1b792b42879ed5f0aa6fa7a2d9","datavalue":{"value":{"entity-type":"item","numeric-id":3954803,"id":"Q3954803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$8A67905A-C4C8-40E1-96C6-280D6A2947D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff210c6984e92544ff3aa3044058d7dbda77eb7a","datavalue":{"value":{"entity-type":"item","numeric-id":4174727,"id":"Q4174727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$2400AE6A-BF25-421D-BEC4-B000D3AC66AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed32be8eebfa939344026e8c9cb301f260248e08","datavalue":{"value":{"entity-type":"item","numeric-id":5548674,"id":"Q5548674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$03264D88-B995-4AE9-B588-1545D2FF42A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fda785ba06a1c78c3b1fa3da035e72d736ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":4048566,"id":"Q4048566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$D958DCEE-221C-45E2-9B9F-2C8ECDDD6209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$47A38C54-4027-46D1-B4EA-7EB546EB7AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57375aaeb2518d9af85d4868f1b2eb7c14017efa","datavalue":{"value":{"entity-type":"item","numeric-id":1146980,"id":"Q1146980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$3E852480-6DED-4810-8E73-A3C7A5C88925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc557107289be9a4c0444ad03ef91bd85cca4e21","datavalue":{"value":{"entity-type":"item","numeric-id":4178474,"id":"Q4178474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$8BFBF09E-C815-4726-B99D-F3C30C7C4587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$B138AF70-4A37-4BCC-BDD6-293C31F1CD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81ffa70391ff476bf17acb7ce962de337a7df8a","datavalue":{"value":{"entity-type":"item","numeric-id":1606790,"id":"Q1606790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$3FA31988-1FD0-45F9-B986-897A23449AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$23B43796-4C5A-4900-917C-E0B1D775CC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5410069e8abd75acf0c4dc99bb1a84758ddd17bf","datavalue":{"value":{"entity-type":"item","numeric-id":4187287,"id":"Q4187287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791319$DFE026FB-AFCF-4E21-AA4E-59E0791CF45A","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":"Q791319$65A7865F-F1A6-4A29-9F1A-7313084344D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecaf608f97117af5b5e69dc2264c563d8c76828a","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b728c39780cdc6e736e12d1dbcc94fe04397ba7","datavalue":{"value":{"amount":"+0.7930816411972046","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":"Q791319$B8D4026E-ECEE-445B-B1DD-64D66CA3919D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d8a3796364b06cc4a9792b563c40cda0fc2071","datavalue":{"value":{"entity-type":"item","numeric-id":1179704,"id":"Q1179704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc7c2acf489822e2cdfce7739c3c415705afb69","datavalue":{"value":{"amount":"+0.7885286211967468","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":"Q791319$8A966A69-5F6E-49AE-A631-451C54A79501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490d0e491b007dfa1fb4d06dfe57cc799bfcab9a","datavalue":{"value":{"entity-type":"item","numeric-id":3798221,"id":"Q3798221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec9ba869cb80bbbe38989f2486e04fdc6425108","datavalue":{"value":{"amount":"+0.7858468294143677","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":"Q791319$FD0DA86E-3383-4822-8E63-7BFF884D6F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4784a6c5ec6fbca202f1f62bb317af08783e8a7","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73770920c74724339edd76b5feda3827bf413fde","datavalue":{"value":{"amount":"+0.7848616242408752","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":"Q791319$3279D08A-A6AC-40DF-B01F-86FF68460240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf4d327411c2cd9da8f44f5201afcb3013abb6b","datavalue":{"value":{"entity-type":"item","numeric-id":3400541,"id":"Q3400541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effb4506a947d68b6a4f7d6901968baa1ad495cb","datavalue":{"value":{"amount":"+0.7828916907310486","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":"Q791319$4A8F5DD5-DA19-447D-8347-10CF87D453BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Port automata and the algebra of concurrent porcesses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Port_automata_and_the_algebra_of_concurrent_porcesses"}}}}}