| 
|
Quote: pi-calculus expressions consist of names and processes; names may be a channel or a datum
topics >
all references >
references m-o >
Group:
naming
Topic:
calculus of communicating processes
Topic:
names as rigid designators
Topic:
synchronous communication through a channel
Topic:
Petri net transitions and events
Quotation Skeleton
[pi-calculus expressions consist of names (lower case) and processes (upper case)]. Note also that a name can be … a datum (as in the case of x … Thus the simplest way to present the interaction … [x] | aBar v.Q -> P[v] | Q [a/aBar is the channel from Q to P, | is process composition, x.P[x] is process … P with bound variable x]. … the transmitted datum [v] is now "just" a … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: an interaction transmits a name (a means of access) from one process to another
Group: naming (32 topics, 784 quotes)
Topic: calculus of communicating processes (13 items)
Topic: names as rigid designators (43 items)
Topic: synchronous communication through a channel (28 items)
Topic: Petri net transitions and events (21 items)