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
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)
|