Process Algebra with Timing
Edition: 1 edition
Publisher: Springer
Published: August 26, 2002
Language: eng
Format: Hardcover
Number of pages: 300
ISBN-13: 9783540434474
Subjects: Computer architecture & logic design; Mathematical theory of computation; Systems analysis & design; System design; Discrete-time systems; Algebra; Systems Analysis (Computer Science); Computers; Computers - Languages / Programming; Science/Mathematics; Programming - Systems Analysis & Design; General; Computers / Programming / Software Development; Algebra - General; Computer Science; Mathematics
First sentence: In work on ACP-style process algebras, the main idea behind the approach to the study of processes is that a process is something that obeys a certain set of axioms.