Current Trends in Concurrency [[electronic resource] ] : Overviews and Tutorials / / edited by Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986
• Edizione: 1st ed. 1986.
• Descrizione fisica: 1 online resource (XIV, 718 p.)
• Disciplina: 005.1
• Soggetto topico: Software engineering; Computer programming; Computer logic; Computers; Software Engineering/Programming and Operating Systems; Programming Techniques; Logics and Meanings of Programs; Models and Principles
• Persona (resp. second.): BakkerJacobus W. De; RoeverWillem-Paul De; RozenbergGrzegorz
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Titolo autorizzato: Current trends in concurrency
• ISBN: 3-540-39827-9
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465708103316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 224