Handbook of Truly Concurrent Process Algebra

Chapter 37: Verification of patterns for resource management

Abstract

This chapter introduces the verification of patterns for resource management based on truly concurrent process algebra.

Keywords

Patterns for Resource Management; Process Algebra

Patterns for resource management are patterns related to resource management, and can be used in higher-level and lower-level systems and applications.

In this chapter, we verify patterns for resource management. In Section 37.1, we verify patterns related to resource acquisition. We verify patterns for resource life cycle in Section 37.2 and patterns for resource release in Section 37.3.

37.1 Resource acquisition

In this section, we verify patterns for resource acquisition, including the Lookup pattern, the ...