Relevant Publications

• A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus. Hervé Paulino and Luís Lopes. In Proceedings of the Joint Modular Languages Conference 2006, Oxford, UK, 2006 (to appear). [ ]
• A Service-Oriented Language for Programming Mobile Agents. Hervé Paulino and Luís Lopes. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pages 1294-1296, Association for Computing Machinery (ACM), 2006. [ ]
• MiKO: Mikado Koncurrent Objects. Francisco Martins and Liliana Salvador and Vasco T. Vasconcelos and Luís Lopes. In Foundations of Global Computing, Dagstuhl Seminar Proceedings 05081, 2006. [ ]
• A software framework for rapid prototyping of run-time systems for mobile calculi. L. Bettini, R. De Nicola, D. Falassi, M. Lacoste, L. Lopes, L. Oliveira, H. Paulino and Vasco T. Vasconcelos. In Global Computing, volume 3267 of LNCS, pages 179--207. Springer-Verlag, 2005. [ ]
• Lexically scoping distribution: what you see is what you get. António Ravara, Ana G. Matos, Vasco T. Vasconcelos, and Luís Lopes. Electronic Notes in Theoretical Computer Science, 85(1), 2003. Presented at Foundations of Global Computing'03. [ ]
• A Multi-Threaded Asynchronous Language. Hervé Paulino, Pedro Marques, Luís Lopes, Vasco T. Vasconcelos, and Fernando Silva. In 7th International Conference on Parallel Computing Technologies (PaCT'03), volume 2763 of LNCS, pages 316-323. Springer-Verlag, 2003. [ ]
• Mob: A Scripting Language for Mobile Agents based on a Process Calculus. Hervé Paulino, Luís Lopes and Fernando Silva. In Proceedings of the International Conference on Web Engineering (ICWE'2003), Lecture Notes in Computer Science 2722, 40-43, Springer-Verlag, 2003. [ ]
• Distributed Typed Concurrent Objects . Álvaro Figueira, Hervé Paulino, Luís Lopes, Fernando Silva. A Programming Language for Distributed Computations with Mobile Resources. In Journal of Universal Computer Science, 8(9), 745-760, 2003. [ ]
• P3 (parallel peer-to-peer): an internet parallel programming environment. Licínio Oliveira, Luís Lopes, and Fernando Silva. In Workshop on Web Engineering & Peer-to-Peer Computing, part of Networking 2002, volume 2376 of Lecture Notes in Computer Science, pages 274-288, Springer-Verlag, 2002. [ ]
• A lexically scoped distributed pi-calculus. António Ravara, Ana G. Matos, Vasco T. Vasconcelos, and Luís Lopes. Technical Report DI/FCUL TR-02-4. Department of Computer Science, University of Lisbon. April 2002. [ ]
• The impact of linearity information on the performance of TyCO. Francisco Martins, Luís Lopes, and Vasco T. Vasconcelos. In Workshop on Types in Programming (TIP'02), Electronic Notes in Theoretical Computer Science, 75, 2002. [ ]
• Fine Grained Multithreading with Process Calculi. Luís Lopes, Vasco T. Vasconcelos, and Fernando Silva. In IEEE Transactions on Computers, 50(9):217-226, 2001. (extended version of paper presented at the International Conference on Parallel Architectures and Compilation Techniques, pages 217-226. IEEE, 2000). [ ]
• A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. Luís Lopes, Álvaro Figueira, Fernando Silva, and Vasco T. Vasconcelos. In CLUSTER'00, pages 297-306. IEEE, 2000. [ ]
• A Virtual Machine for the TyCO Process Calculus. Luís Lopes, Fernando Silva, and Vasco T. Vasconcelos. In PPDP'99, volume 1702 of LNCS, pages 244-260. Springer-Verlag, 1999. [ ]
• Distribution and Mobility with Lexical Scoping in Process Calculi. Vasco T. Vasconcelos, Luís Lopes, and Fernando Silva. In 3rd International Workshop on High-Level Concurrent Languages, Electronic Notes in Theoretical Computer Science, 16(3). Elsevier Science Publishers, 1998. [ ]