Concur'93
Subtitle: 4th International Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: August 1993
Language: eng
Format: Paperback
Number of pages: 550
ISBN-13: 9780387572086
Subjects: Parallel Processing; Computers; Computers - General Information; Computer Books: General; Data Processing - Parallel Processing; Computer Science; Logic Design; Congresses; Parallel processing (Electroni; Parallel processing (Electronic computers)
First sentence: The -caJcuJus with multiplicities is a refinement of the usual -calculus, inspired by the encoding of the lazy -calculus into the -calculus given by Milner in [Milner 1992].