Author

Publication

1993-08-01 - Springer

Language

English

Word Count

137,500 words, Guess

Page Count

550 pages

Physical Format

Paperback

Identifiers

  • ISBN-100387572082
  • ISBN-139780387572086
  • Open LibraryOL9566845M

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].

Subjects

Other Editions

  • Concur'93: 4th International Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings (Lecture Notes in Computer Science)PaperbackSpringer1993-08-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!