Concur'93
Subtitle: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: September 1993
Language: eng
Format: Paperback
Number of pages: 541
ISBN-13: 9783540572084
Subjects: General Theory of Computing; Software engineering; Programming - General; Computers - General Information; Data Processing - Parallel Processing; Logic Design
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].