Chapter 36: Verification of patterns for concurrent and networked objects
Abstract
This chapter introduces the verification of patterns for concurrent and networked objects based on truly concurrent process algebra.
Keywords
Patterns for Concurrent and Networked Objects; Verification; Process Algebra
Patterns for concurrent and networked objects can be used both in higher-level and lower-level systems and applications.
In this chapter, we verify patterns for concurrent and networked objects. In Section 36.1, we verify service access and configuration patterns. In Section 36.2, we verify patterns related to event handling. We verify synchronization patterns in Section 36.3 and concurrency patterns in Section 36.4.
36.1 Service access and configuration ...
Get Handbook of Truly Concurrent Process Algebra 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.
