03449nam 22006495 450 99646570810331620200701165530.03-540-39827-910.1007/BFb0027037(CKB)1000000000230520(SSID)ssj0000322412(PQKBManifestationID)11243190(PQKBTitleCode)TC0000322412(PQKBWorkID)10288784(PQKB)10316249(DE-He213)978-3-540-39827-1(PPN)155184148(EXLCZ)99100000000023052020121227d1986 u| 0engurnn|008mamaatxtccrCurrent Trends in Concurrency[electronic resource] Overviews and Tutorials /edited by Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg1st ed. 1986.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1986.1 online resource (XIV, 718 p.) Lecture Notes in Computer Science,0302-9743 ;224Bibliographic Level Mode of Issuance: Monograph3-540-16488-X Computer science in industry -- Dataflow and education: Data-driven and demand-driven distributed computation -- Contrasting themes in the semantics of imperative concurrency -- Functional programming and the language tale -- Design, specification and validation of hierarchies of protocols in distributed systems -- Infinitary languages: Basic theory and applications to concurrent systems -- The quest goes on: A survey of proofsystems for partial correctness of CSP -- Logic programming: The foundations, the approach and the role of concurrency -- Process theory: Semantics, specification and verification -- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends -- Petri nets: Basic notions, structure, behaviour -- Concepts for concurrent programming.Lecture Notes in Computer Science,0302-9743 ;224Software engineeringComputer programmingComputer logicComputersSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XModels and Principleshttps://scigraph.springernature.com/ontologies/product-market-codes/I18016Software engineering.Computer programming.Computer logic.Computers.Software Engineering/Programming and Operating Systems.Programming Techniques.Logics and Meanings of Programs.Models and Principles.005.1Bakker Jacobus W. Deedthttp://id.loc.gov/vocabulary/relators/edtRoever Willem-Paul Deedthttp://id.loc.gov/vocabulary/relators/edtRozenberg Grzegorzedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465708103316Current trends in concurrency1080965UNISA