5: Distributed APTC


This is an introduction to distributed truly concurrent process algebra.


Distributed Computing; True Concurrency; Process Algebra

Distributed APTC makes APTC to have the ability to express the locations or roles. Distributed APTC can be used to model the roles of participants in WS composition.

This chapter is organized as follows. We introduce the operational semantics of static location in Section 5.1, distributed BATCImage in Section 5.2, distributed APTCImage in Section 5.3, recursion in Section 5.4, abstraction in Section ...

Get Theory of Structured Parallel Programming now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.