Get full access to Truly Concurrent Process Algebra With Localities and 60K+ other titles, with a free 10-day trial of O'Reilly.

There are also live events, courses curated by job role, and more.

Start your free trial

Chapter 17: APTC with localities and guards

Abstract

This chapter introduces the algebraic laws for true concurrency with localities and guards.

Keywords

Process Algebra; True Concurrency; Localities; Reversibility

In this chapter, we introduce APTC with localities and guards, including APTC with static localities and guards in Section 17.1 and APTC with dynamic localities and guards in Section 17.2.

17.1 APTC with static localities and guards

17.1.1 BATC with static localities and guards

Let Loc be the set of locations, and $l o c \in L o c$ , $u, v \in L o c^{⁎}$ , ϵ is the empty ...

Get Truly Concurrent Process Algebra With Localities 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.

Start your free trial

Don’t leave empty-handed

Get Mark Richards’s Software Architecture Patterns ebook to better understand how to design components—and how they should interact.

It’s yours, free.

Get it now

Check it out now on O’Reilly

Dive in for free with a 10-day trial of the O’Reilly learning platform—then explore all the other resources our members count on to build skills and solve problems every day.

Start your free trial Become a member now