Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science)
Edition: New Ed edition
Publisher: Cambridge University Press
Published: March 31, 2007
Language: eng
Format: Paperback
Number of pages: 283
ISBN-13: 9780521019736
Subjects: Mathematical theory of computation; Computers; Computers - Languages / Programming; Computer Books: General; Programming - Software Development; Computers / Programming / Software Development; Parallel processing (Electronic computers); Data Processing - General
First sentence: The term reactive systems, [Pn85], has been coined to refer to systems which periodically interact with their environment.