Object-Based Concurrent Computing
Springer Berlin (Verlag)
978-3-540-55613-8 (ISBN)
Dr. rer. soz. Peter Wegner, Psychoanalytiker (DVP/IVP), arbeitet selbstständig in privater Praxis in Tübingen.
Towards an object calculus.- On asynchronous communication semantics.- A unifying framework for process calculus semantics of concurrent object-oriented languages.- A sheaf semantics for FOOPS expressions (extended abstract).- Semantic layers of object-based concurrent computing.- Formal techniques for parallel object-oriented languages.- Trace semantics for actor systems.- Dynamic programming as multiagent programming.- Scheduling predicates.- A concurrency control mechanism for C++ objects.- Object-Oriented Concurrent Reflective architectures.- Abstract description of distributed object systems.- Design issues for object-based concurrency.- Panel: What is an object?.
Erscheint lt. Verlag | 16.6.1992 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XI, 269 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 233 mm |
Gewicht | 404 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Concurrency • Concurrent programming • C++ programming language • Formale Methoden • Formalisierung • Formal Method • formal methods • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • HC/Informatik, EDV/Programmiersprachen • Nebenläufiges Programmieren • Nebenläufigkeit(EDV) • Nebenläufigkeit_(EDV) • Object-Based Computing • object-oriented programming • objektbasiertes Rechnen • Objektorientierte Programmierung • Objektorientiertes Programmieren • Paralleler Prozess • programming • Semantics |
ISBN-10 | 3-540-55613-3 / 3540556133 |
ISBN-13 | 978-3-540-55613-8 / 9783540556138 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich