The name discipline of uniform receptiveness
- 1 June 1999
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 221 (1-2) , 457-493
- https://doi.org/10.1016/s0304-3975(99)00040-7
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Functions as processesPublished by Springer Nature ,2005
- A calculus of mobile processes, IPublished by Elsevier ,2004
- An Interpretation of Typed Objects into Typedπ-CalculusInformation and Computation, 1998
- π-Calculus, internal mobility, and agent-passing calculiTheoretical Computer Science, 1996
- Typing and subtyping for mobile processesMathematical Structures in Computer Science, 1996
- Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda CalculusElectronic Notes in Theoretical Computer Science, 1995
- Objects in the π-CalculusInformation and Computation, 1995
- Plain CHOCS A second generation calculus for higher order processesActa Informatica, 1993
- Functions as processesMathematical Structures in Computer Science, 1992
- Linear logicTheoretical Computer Science, 1987