Fundamentals of Computation Theory: 10th International Conference, Fct '95, Dresden, Germany, August 22-25, 1995 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: December 1995
Language: eng
Format: Paperback
Number of pages: 433
ISBN-13: 9783540602491
Subjects: Mathematical theory of computation; Logic; Theory Of Computing; Computers; Computers - General Information; Computer Books: General; Science/Mathematics; Logic Design; Computer Science; Congresses; Electronic data processing
First sentence: Process algebra in the form of ACP [BEK85, BAW90], CCS [MIL89] or CSP [BRHR84] involves no explicit mention of time.