Map
Index
Random
Help
th

Quote: interaction is the atom of behavior of the calculus of communication systems; i.e., passing a datum between processes

topics > all references > references m-o > QuoteRef: milnR1_1993 , p. 83



Topic:
synchronous communication through a channel
Topic:
specification and design of distributed systems
Topic:
Petri net transitions and events
Topic:
lambda calculus
Topic:
reduction machines

Quotation Skeleton

In the lambda-calculus, all computation comes down to … this the atom of behavior of the lambda-calculus. … atom of behavior of CCS [Calculus of Communication Systems].   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: reduction is the atom of behavior of lambda-calculus; i.e., passing an argument to a function

Related Topics up

Topic: synchronous communication through a channel (28 items)
Topic: specification and design of distributed systems (14 items)
Topic: Petri net transitions and events (21 items)
Topic: lambda calculus (14 items)
Topic: reduction machines (14 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.