Types and Subtypes for Client-Server Interactions
- 1 January 1999
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Typing and subtyping for mobile processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A partially deadlock-free typed process calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A partially deadlock-free typed process calculusACM Transactions on Programming Languages and Systems, 1998
- Local type inferencePublished by Association for Computing Machinery (ACM) ,1998
- Lilac: a functional programming language based on linear logicJournal of Functional Programming, 1994
- Combinatory representation of mobile processesPublished by Association for Computing Machinery (ACM) ,1994
- Regular types for active objectsACM SIGPLAN Notices, 1993
- A sort inference algorithm for the polyadic π-calculusPublished by Association for Computing Machinery (ACM) ,1993
- A calculus of mobile processes, IInformation and Computation, 1992
- Linear logicTheoretical Computer Science, 1987