Assigning types to processes

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 334-345

  Yoshida, Nobuko ^a   Hennessy, Matthew ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL LINGUISTICS; DATA COMMUNICATION SYSTEMS; INTERFACES (COMPUTER); SECURITY OF DATA;

FINE GRAINED TYPING SYSTEMS; HIGHER ORDER CODES;

FORMAL LANGUAGES;

EID: 84939649315     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (38)

1. Abadi, M., Secrecy by Typing in Security Protocols, TACS'97, LNCS 1281, pp.611-638, Springer-Verlag, 1997.
2. Abadi, M., Cardelli, L., Pierce, B. and Plotkin, G., Dynamic Typing in a Statically Typed Language. TOPLAS, 13(2), pp.237-268, 1991.
3. Amadio, R., Translating Core Facile, ECRC Research Report 944-3, 1994.
4. Amadio, R. and Cardelli, L., Subtyping Recursive Types, TOPLAS, 15(4), pp.575-631, 1993.
5. Cardelli, L. and Gordon, A., Typed Mobile Ambients, POPL'99, pp.79-92, ACM Press, 1999.
6. Cardelli, L., Martini, S., Mitchell, J. and Scedrov, A., An extension of system F with subtyping, Info. & Comp., 109(1):4-56, February 1994.
7. De Nicola, R., Ferrari, G. and Pugliese, R., Klaim: a Kernel Language for Agents Interaction and Mobility, IEEE Trans. on Software Engineering, Vol.24(5), 1998.
8. Fournet, C., Gonthier, G., Lévy, J.-J., Maranget, L., and Rémy, D., A Calculus for Mobile Agents, CONCUR'96, LNCS 1119, pp.406-421, Springer-Verlag, 1996.
9. Gunter, C., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
10. Java, Sun Microsystems Inc., http://www.javasoft.com/.
11. Heintze, N. and Riecke, J., The SLam Calculus: Programming with Secrecy and Integrity, POPL'98, pp.365-377. ACM Press, 1998.
12. Hennessy, M. and Riely, J., Resource Access Control in Systems of Mobile Agents, CS Report 02/98, University of Sussex, http://www.cogs.susx.ac.uk, 1998.
13. Honda, K., Composing Processes, POPL'96, pp.344-357, ACM, 1996.
14. Honda, K., A Theory of Types for the pi-calculus, pp.112, Typescript. November, 1998. Available at http://www.dcs.qmw.ac.uk/~kohei.
15. Honda, K., Vasconcelos, V. and Yoshida, N, Secure Information Flow as Typed Process Behaviour, ESOP'00, LNCS 1782, pp.180-199, Springer, 2000.
16. Honda, K. and Yoshida, N., Combinatory Representation of Mobile Processes. POPL'94, pp.348-360, ACM Press, 1994.
17. Honda, K. and Yoshida, N., On Reduction-Based Process Semantics. TCS, pp.437-486, No.151, North-Holland, 1995.
18. Kirli, D., A static type system for detecting potentially transmissible functions, ECOOP Workshop MOS'99, 1999.
19. Kobayashi, N., Pierce, B. and Turner, D., Linearity and the pi-calculus, POPL'96, ACM Press, 1996.
20. Kobayashi, K., Nakade, M. and Yonezawa, A., Static analysis of communication for asynchronous concurrent programming languages, SAS'95, LNCS 983, Springer, 1995.
21. Milner, R., Polyadic π-Calculus, Logic and Algebra of Specification, Springer, 1992.
22. Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes. Infor. & Comp., 100(1), pp.1-77, 1992.
23. Necula, G., Proof-carrying code. POPL'96, ACM, 1996.
24. O'Hearn, P., Power, J., Takeyama, M., and Tennent, D., Syntactic control of interference revised, MFPS'97, ENCS, Elsevier, 1997.
25. ObjectSpace Inc. ObjectSpace Voyager home page, http://www.objectspace.com/voyager.
26. Pierce, B.C. and Sangiorgi. D, Typing and subtyping for mobile processes. MSCS, 6(5):409-454, 1996.
27. Pierce, B.C. and Sangiorgi. D, Behavioral Equivalence in the Polymorphic Pi-calculus. POPL'97, ACM Press, 1997.
28. Riely, J. and Hennessy, M., Trust and partial typing in open systems of mobile agents. POPL'99, ACM Press, 1999.
29. Sangiorgi, D., Expressing Mobility in Process Algebras: First Orderand Higher OrderParadigms. Ph.D. Thesis, University of Edinburgh, CST-99-93, 1993.
30. Tang, Y.-M., and Jouvelot, P., Effect systems with subtyping, PEPM'95, ACM Press, 1995.
31. Tofte, M. and Talpin, J.-P., Region-based memory management, Info. & Comp., 132(2)109-176, 1997.
32. Vasconcelos, V., Typed concurrent objects. ECOOP'94, LNCS 821, pp.100-117. Springer-Verlag, 1994.
33. Vasconcelos, V. and Honda, K., Principal Typing Scheme for Polyadic π-Calculus. CONCUR'93, LNCS 715, pp.524-538, Springer, 1993.
34. Vasconcelos, V., Lopes, L. and Silva, F., Distribution and Mobility with Lexical Scoping in Process Calculi, 3rd HLCL, ENTCS 16(3), Elsevier, 1998.
35. Volpano, D. and Smith, G., Secure information flow in a multi-threaded imperative language, pp.355-364, POPL'98, ACM, 1998.
36. Yoshida, N., Graph Types for Monadic Mobile Processes, FST/TCS'16, LNCS 1180, pp. 371-386, Springer, 1996.
37. Yoshida, N. and Hennessy, M., Subtyping and Locality in Distributed Higher Order Processes. CONCUR'99, LNCS 1664, pp.557-573, Springer, 1999.
38. The full version of this paper, CS Technical Report 02/99, University of Sussex, Available at: http://www.mcs.le.ac.uk/~nyoshida, Nov, 1999.