Property Preserving Abstractions under Parallel Composition.

Susanne Graf Claire Loiseaux

Published in: TAPSOFT (1993)

Keyphrases

service oriented
web services
parallel processing
high level
distributed memory
parallel computing
parallel hardware
multi agent
mobile robot
general purpose
parallel algorithm
parallel implementation
parallel computation
distributed processing