Enlace del recurso

Click para texto completo desde fuera UPSA
Click para texto completo desde UPSA

“…Authentically Black and Truly Catholic traces the developments within the church in Chicago to show how Black Catholic activists in the 1960s and 1970s made Black Catholicism as we know it today. …”

“…Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. …”

Tabla de Contenidos: “…Front Cover -- Truly Concurrent Process Algebra With Localities -- Copyright -- Contents -- 1 Introduction -- 2 Background -- 2.1 Operational semantics -- 2.2 Proof techniques -- 2.3 CTC -- 2.4 APTC -- 2.5 πtc -- 3 Location-related bisimulation semantics for true concurrency -- 3.1 Static location bisimulations -- 3.2 Dynamic location bisimulations -- 4 CTC with localities -- 4.1 CTC with static localities -- 4.1.1 Syntax and operational semantics -- 4.1.2 Strong bisimulations -- 4.1.3 Weak bisimulations -- 4.2 CTC with dynamic localities -- 5 APTC with localities -- 5.1 APTC with static localities -- 5.1.1 BATC with static localities -- 5.1.2 APTC with static localities -- 5.1.3 Recursion -- 5.1.4 Abstraction -- 5.2 APTC with dynamic localities -- 6 πtc with localities -- 6.1 Operational semantics -- 6.2 πtc with static localities -- 6.2.1 Syntax and operational semantics -- 6.2.2 Strong bisimilarities -- 6.2.3 Algebraic theory -- 6.3 πtc with dynamic localities -- 7 Probabilistic location-related bisimulation semantics for true concurrency -- 7.1 Probabilistic static location bisimulations -- 7.2 Probabilistic dynamic location bisimulations -- 8 CTC with localities and probability -- 8.1 CTC with probabilistic static localities -- 8.1.1 Syntax and operational semantics -- 8.1.2 Strong bisimulations -- 8.1.3 Weak bisimulations -- 8.2 CTC with probabilistic dynamic localities -- 9 APTC with localities and probability -- 9.1 APTC with probabilistic static localities -- 9.1.1 BATC with probabilistic static localities -- 9.1.2 APTC with probabilistic static localities -- 9.1.3 Recursion -- 9.1.4 Abstraction -- 9.2 APTC with probabilistic dynamic localities -- 10 πtc with localities and probability -- 10.1 Operational semantics -- 10.2 πtc with probabilistic static localities -- 10.2.1 Syntax and operational semantics -- 10.2.2 Strong bisimilarities…”

“…Disruption for disruption's sake isn't a smart strategy when you're seeking ways to accelerate your career and become truly indispensable. In The Bold Ones, you'll discover it's more about being bold than disruptive: being simultaneously confident enough to challenge industries, yet practical enough to recreate them. …”