Bakker

Current Trends in Concurrency

Overviews and Tutorials
Herausgegeben:Bakker, Jacobus W. de; Roever, Willem-Paul De; Rozenberg, Grzegorz

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 224
• Verlag: Springer, Berlin
• 1986.
• Seitenzahl: 732
• Erscheinungstermin: 1. Juni 1986
• Englisch
• Abmessung: 235mm x 155mm x 40mm
• Gewicht: 990g
• ISBN-13: 9783540164883
• ISBN-10: 354016488X
• Artikelnr.: 09202592

Inhaltsangabe

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.