↓ Skip to main content
What is this page? Embed badge

Object-Based Parallel and Distributed Computation

Overview of attention for book
Cover of 'Object-Based Parallel and Distributed Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 19 Data parallel programming in the parallel object-oriented language OCore
  3. Altmetric Badge
    Chapter 20 Polymorphic matrices in paladin
  4. Altmetric Badge
    Chapter 21 Programming and debugging for massive parallelism: The case for a parallel object-oriented language A-NETL
  5. Altmetric Badge
    Chapter 22 Schematic: A concurrent object-oriented extension to Scheme
  6. Altmetric Badge
    Chapter 23 (Thread and Object)-Oriented Distributed Programming
  7. Altmetric Badge
    Chapter 24 Distributed and object oriented symbolic programming in April
  8. Altmetric Badge
    Chapter 25 Reactive programming in Eiffel//
  9. Altmetric Badge
    Chapter 26 Proofs, concurrent objects and computations in a FILL framework
  10. Altmetric Badge
    Chapter 27 Modular description and verification of concurrent objects
  11. Altmetric Badge
    Chapter 28 CHORUS/COOL CHORUS Object oriented technology
  12. Altmetric Badge
    Chapter 29 Adaptive operating system design using reflection
  13. Altmetric Badge
    Chapter 30 Isatis: A customizable distributed object-based runtime system
  14. Altmetric Badge
    Chapter 31 Lessons from designing and implementing GARF
  15. Altmetric Badge
    Chapter 32 Design and implementation of DROL runtime environment on Real-Time Mach kernel
  16. Altmetric Badge
    Chapter 33 ActNet: The actor model applied to mobile robotic environments
  17. Altmetric Badge
    Chapter 34 Component-based programming and application management with olan
  18. Altmetric Badge
    Chapter 35 The version management architecture of an object-oriented distributed systems environment: OZ++
  19. Altmetric Badge
    Chapter 36 Formal semantics of agent evolution in language flage
Attention for Chapter 26: Proofs, concurrent objects and computations in a FILL framework
Altmetric Badge

Citations

dimensions_citation
4 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Proofs, concurrent objects and computations in a FILL framework
Chapter number 26
Book title
Object-Based Parallel and Distributed Computation
Published by
Springer, Berlin, Heidelberg, January 1996
DOI 10.1007/3-540-61487-7_26
Book ISBNs
978-3-54-061487-6, 978-3-54-068672-9
Authors

D. Galmiche, E. Boudinet

View on publisher site

This page is provided by Altmetric.