Thời gian thực - hệ thống P9

Chia sẻ: Va Line Line | Ngày: | Loại File: PDF | Số trang:22

lượt xem

Thời gian thực - hệ thống P9

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

PROCESS ALGEBRA A computer process is a program or section of a program (such as a function) in execution. It may be in one of the following states: ready, running, waiting, or terminated. A process algebra is a concise language for describing the possible execution steps of computer processes. It has a set of operators and syntactic rules for specifying a process using simple, atomic components. It is usually not a logic-based language. Central to process algebras is the notion of equivalence, which is used to show that two processes have the same behavior....

Chủ đề:

Nội dung Text: Thời gian thực - hệ thống P9

Đồng bộ tài khoản