As a result, there is not a single mention of a given name, and most individuals are designated by role labels.
Each member's surname, given name, age, year of birth, domicile of origin, parentage, profession, and rank are recorded.
Each child taken in by the orphanage was given a number, as his or her given name.
We give a constructive proof of -expansion, introducing a transformation function abstracting a process over a given name.
In the -calculus computation is process interaction: two -calculus processes that know a given name can use it to interact with each other; names themselves may be exchanged in communications.
This number expresses a lower bound on the probability of performing an action with a given name and reaching a state that satisfies a certain formula.
When answering the telephone, don't say anything until the caller has given name and address.
Its title refers to her given name and birthplace.
