{"product_id":"logics-of-programs-and-their-applications-proceedings-poznan-august-23-29-1980-von-a-salwicki-hrsg","title":"Logics of Programs and Their Applications","description":"\u003cp\u003eSharpening the characterization of the power of Floyd method.- On proving program correctness by means of stepwise refinement method.- Semantics and implementation of prefixing at many levels.- Nonstandard models in Propositional Dynamic Logic.- On priorities of parallelism: Petri nets under the maximum firing strategy.- On four logics of programs and complexity of their satisfiability problems : Extended abstract.- Are infinite behaviours of parallel system schemata necessary?.- Algorithmic properties of finitely generated structures.- Algebraic semantics and program logics: Algorithmic logic for program trees.- Some model-theoretical properties of logic for programs with random control.- A formal system for parallel programs in discrete time and space.- On the propositional algorithmic theory of arithmetic.- Nonstandard runs of Floyd-provable programs.- On some extensions of dynamic logic.- On algorithmic logic with partial operations.- Towards a theory of parallelism and communications for increasing efficiency in applicative languages.- An operational semantics for CSP.- Programming languages and logics of programs.- Concurrent programs.- Axiomatic approach to the system of files.- A sequent calculus for Kr¿ger logic.- On axiomatization of process logic.- Filtration theorem for dynamic algebras with tests and inverse operator.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540119814\"\u003e\u003ch3\u003eProceedings, Poznan, August 23-29, 1980\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540119814","offer_id":39435707908189,"sku":"9783540119814","price":24.6,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/a51323a8-d418-427a-a97f-f099f3d1a7d3.jpg?v=1773553806","url":"https:\/\/shop.autorenwelt.de\/products\/logics-of-programs-and-their-applications-proceedings-poznan-august-23-29-1980-von-a-salwicki-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}