{"entities":{"Q1187686":{"pageid":1198435,"ns":120,"title":"Item:Q1187686","lastrevid":66331584,"modified":"2026-04-12T09:22:08Z","type":"item","id":"Q1187686","labels":{"en":{"language":"en","value":"Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 43992"}},"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":"Q1187686$F3F71D1B-0250-4F73-A69D-528228DA7350","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a0cd56ba86eb936a9320462cabc390b703c8301","datavalue":{"value":{"text":"Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187686$48D7C815-D711-4607-8453-1BD59F9D9705","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d21f47765fe79eed686a25b742351fa5f5540dc4","datavalue":{"value":"0745.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187686$50AE9535-2A2E-409F-BBEA-41F2E18D966D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187686$9952CB58-1981-45C4-AB42-CCD7B62AD11B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187686$E1AA8A19-09F8-4841-9692-66D274503B48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04917f98e62ca8d2ca60d5ace0d0d9e0350e2218","datavalue":{"value":"[The articles of this volume will not be indexed individually.]   Contents: Part I. Algebraic specification.   \\textit{H. Partsch}, Algebraic specification: A step towards future software engineering (pp. 7-30), How algebraic specifications are included in the wide spectrum language CIP-L is presented; \\textit{M. Bidoit}, \\textit{M.-C. Gaudel} and \\textit{A. Mauboussin}, How to make algebraic specifications more understandable? (pp. 31-68), The specification of a subset of the UNIX file system is used for presenting and evaluating the specification language PLUSS; \\textit{H. Klaeren} and \\textit{K. Indermark}, Efficient implementation of an algebraic specification language (pp. 69-90), A new technique for compiling specifications with structural recursive axioms is defined; \\textit{E. Astesiano}, \\textit{A. Giovini}, \\textit{G. Reggio} and \\textit{E. Zucca}, An integrated algebraic approach to the specification of data types, processes and objects (pp. 91-116), Concurrent processes are specified using (high-order) partial algebraic specifications; \\textit{H. Reichel}, Software specification by behavioural canons (pp. 117-135), Classes of ``behavioural'' models (models which do not satisfy exactly the axioms of the specification, the axioms are satisfied up to behavioural equivalence) are studied.   Part II. The design language COLD.   \\textit{H. B. M. Jonkers}, An introduction to COLD-K (pp. 139-206), An informal introduction to kernel language COLD-K which contains all essential semantics features of COLD is given; \\textit{W. E. Baats}, \\textit{L. M. G. Feijs} and \\textit{J. H. A. Gelissen}, A formal specification of INGRES (pp. 207-246), A case study in the application of COLD-K as a specification language is described; \\textit{C. P. J. Koymans} and \\textit{G. R. Renardel de Lavalette}, The logic \\(MPL_ \\omega\\) (pp. 247-282), The logical framework \\(MPL_ \\omega\\), which is the basis for the semantics of classes is presented; \\textit{H. B. M. Jonkers}, Description algebra (pp. 283-306), The basis for the modularization constructs of COLD-K is presented; \\textit{L. M. G. Feijs}, The calculus \\(\\lambda\\pi\\) (pp. 307-328), A special version of the lambda calculus, which is used to give a meaning to the parametrization constructs of COLD-K is introduced.   Part III. Rapid prototyping with algebraic specification.   \\textit{H. Hussmann} and \\textit{A. Geser}, The RAP system as a tool for testing COLD specifications (pp. 331-346), The RAP system is described from the user's point of view; \\textit{A. Geser}, A specification of the intel 8085 Microprocessor: A case study (pp. 347-402), The specification covers the machine instructions and their observable effects; \\textit{H. Hussmann} and \\textit{Ch. Rank}, Specification and prototyping of a compiler for a small applicative language (pp. 403-418), A simple applicative language with recursive functions into stack-oriented target code is treated; \\textit{L. Lavazza} and \\textit{S. Crespi-Reghizzi}, Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype (pp. 419-444), An algebraic specification of the language ALGRES for expressing relations and relational algorithms is developed.   Part IV. An algebraic approach to concurrency.   \\textit{J. A. Bergstra} and \\textit{J. W. Klop}, \\(ACP_ \\tau\\): A universal axiom system for process specification, (pp. 447-464), A presentation of \\(ACP_ \\tau\\) in several intermediate stages starting with a very simple axiom system is given; \\textit{R. van Glabbeek} and \\textit{F. Vaandrager}, Modular specifications in process algebra with curious queues (pp. 465- 506), A language of modules similar to the one used by Jonkers in his paper is defined; \\textit{S. Mauw}, An algebraic specification of process algebra, including two examples (pp. 507-554), An algebraic specification of the process algebra in COLD is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$1ABBD7CE-D982-484B-ADF8-9A6A3E5D19DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187686$D0D4243C-1783-405D-BC7C-7B64298FCF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187686$9F359F5F-67D6-432D-B60A-ECB74A73895B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187686$695482D2-15C1-4285-87B5-85402A0E701E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187686$C2B092D2-729E-47F6-ACD4-692576A7E542","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ebd3a14ac57593083da8fb3f456bbd75a189c43","datavalue":{"value":"43992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187686$5757D258-248B-49DF-80B5-B04EF4321F19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5af10ed06312841e491d07adb041917fda0f0f3d","datavalue":{"value":"Passau (FRG)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$8CF9CA7F-A4D3-4F35-8614-5DFE31686493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73892a0f81429d7e01234327773f47b23b58dca6","datavalue":{"value":"Algebraic Methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$677A1BCB-BDBA-423F-A950-4DC2547186AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2d1cc1f285c8b8362231a01e470a59b8323a1c0","datavalue":{"value":"Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$D625096A-5E37-4C6C-8A2F-387A67FFE4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1109fe9b148498db2478308ed0c5b9725683fbcb","datavalue":{"value":"Tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$EEDDCEDE-08E8-4244-B443-BBE7532D07BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bddffe859796d8418ef6a4c2584314dc7d9528a","datavalue":{"value":"Applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$407C4A9A-AB80-464A-849A-969013429142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$ACD03754-4C18-438D-9D20-2132830009EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$FD36A5F5-52D6-40A8-98EF-0EBB07687C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf31d72c83a4307be13cbc120b339dba1a990989","datavalue":{"value":"Algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$018C350E-7EE2-4604-B689-46CF24BC68CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61abaee866e50f7264a0be9797d69e2d0cc07cdf","datavalue":{"value":"COLD","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$8A0D91A4-E0B6-4139-A175-85038DD629EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de706b42ca5c17671cbdc7be45e0e193cd649773","datavalue":{"value":"RAP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$C6EBBAE7-ECEE-42F6-B814-C07F13E903ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf9ab0b387d68f52551381fc633e1e09f9ca95d","datavalue":{"value":"ALGRES","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$97FF52F6-637B-469D-AF21-9622E7468B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187686$70BF9BCA-5F43-45F7-A240-D961563BE291","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187686$39865F1D-4204-4851-8881-0681EB81D6B4","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":"Q1187686$F68C3B15-F82F-424C-8904-78980F1EBBE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f256f2e0d8dc322624b9f7dbc57c029f2e78a6","datavalue":{"value":{"entity-type":"item","numeric-id":4255593,"id":"Q4255593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245391609f0e818b06d6a4a17a33ecf6a3e25149","datavalue":{"value":{"amount":"+0.8170788884162903","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":"Q1187686$AAF11EB5-64A1-4009-99E9-5FFC4DBF1B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533b6d59ee2fa73074265492198af7ab7efe3b7d","datavalue":{"value":{"entity-type":"item","numeric-id":5287557,"id":"Q5287557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ae87af8fd5917b902c7362062493045baaaf8f","datavalue":{"value":{"amount":"+0.8140079975128174","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":"Q1187686$03B2A935-F240-492B-9E1B-DF820249184B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db99a97886ecdadfbf85bc441e9c4d48341522f","datavalue":{"value":{"amount":"+0.8092456459999084","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":"Q1187686$FB178CFA-CC3F-47D1-AE68-8E25292443B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_methods:_theory,_tools_and_applications._Workshop,_held_on_June_9-11,_1987_in_Passau,_FRG._Proceedings"}}}}}