Current Trends in Concurrency
Springer Berlin (Verlag)
978-3-540-16488-3 (ISBN)
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.
Erscheint lt. Verlag | 1.6.1986 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XIV, 718 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 987 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Schlagworte | Computer • Distributed Systems • Logic • Petri net • Programmierung • programming • Semantics • verification |
ISBN-10 | 3-540-16488-X / 354016488X |
ISBN-13 | 978-3-540-16488-3 / 9783540164883 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich