Selecciona tu país

América

Europa

Resto del mundo

portada Generalized SBC Process Algebra for Communication and Concurrency: The Structure-Behavior Coalescence Approach

Generalized SBC Process Algebra for Communication and Concurrency: The Structure-Behavior Coalescence Approach

Formato

Libro Físico

Autor

William S. Chao

Editorial

Createspace

Idioma

Inglés

N° páginas

220

Encuadernación

Tapa Blanda

Dimensiones

22.9x15.2x1.2 cm

Peso

0.30 kg.

ISBN13

9781537584133

Categorías

Cibernética y teoría de sistemas

Generalized SBC Process Algebra for Communication and Concurrency: The Structure-Behavior Coalescence Approach

William S. Chao (Autor) · Createspace · Tapa Blanda

Sin Stock

Reseña del libro "Generalized SBC Process Algebra for Communication and Concurrency: The Structure-Behavior Coalescence Approach"

Single-queue SBC process algebra (S-SBC-PA), multi-queue SBC process algebra (M-SBC-PA), infinite-queue SBC process algebra (I-SBC-PA) and generalized SBC process algebra (G-SBC-PA) possessing the characteristics of structure-behavior coalescence (SBC) and all evolved from CCS (Calculus of Communicating Systems). CCS is a general process algebra language for the study of concurrent systems.In one way, three specialized SBC process algebras S-SBC-PA, M-SBC-PA and I-SBC-PA, less like CCS, are only applicable to systems architecture. In another way, generalized SBC process algebra, more like CCS, is a general process algebra language for the study of communication and concurrency.We shall go through the details of generalized SBC process algebra in this book. Hopefully, readers will be able to identify the differences between CCS and G-SBC-PA.