Mikado Koncurrent Objects MiKO Mikado Koncurrent Objects Francisco Martins Liliana Salvador Lus Lopes...  Home/Search
Context
Related
| mikado.di.fc.ul.pt...urrentobjects.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mikado.di.fc.ul.pt/o...papers.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: enriched with constructs in[P ] that launches a process P in the contents part of the domain, out[x, M ] that sends a message M to the domain x, and mkdom[x, m|#P , P ] in P that creates a new domain x with guardian m|#P Universidade dos Acores, Departamento de Matematica Universidade do Porto, Departamento de Ciencia de Computadores Universidade de Lisboa, Departamento de Informatica 1 2 N ::= inaction | x{m|#P }[P ] | x ! M | N | N | new x N (networks) P ::= inaction | x ! M |... (Update)
Active bibliography (related documents): More All
0.2: Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (Correct)
0.2: Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (Correct)
0.1: Fine Grained Multithreading with Process Calculi - Lopes, Silva, Vasconcelos (2001) (Correct)
Similar documents based on text: More All
0.3: Static Control of Code Migration - Francisco Martins And (Correct)
0.3: The Impact of Linearity Information on the Performance of.. - Martins, Lopes, Vasconcelos (Correct)
0.3: A Lexically Scoped Distributed Pi-Calculus - Ravara, Matos, Vasconcelos, Lopes (2002) (Correct)
BibTeX entry: (Update)
@misc{ objects-unknown,
author = "Mikado Koncurrent Objects",
title = "Unknown",
url = "citeseer.ist.psu.edu/726161.html" }
Citations (may not include all citations):295 Cambridge University Press (context) - -calculus, of et al. - 2001
9 Core-tyco the language definition (context) - Vasconcelos, Bastos - 1998
5 A parametric model of migration and mobility (context) - Boudol - 2003
1 Core-tyco appendix to the language definition (context) - Vasconcelos - 2001
1 Faculty of Sciences of the University of Lisbon (context) - Vasconcelos, Technical - 2001
1 Core programming model (context) - Boudol - 2002
1 st International Symposium on Object Technologies for Advanc.. (context) - Vasconcelos, Tokoro et al. - 1993
Documents on the same site (http://mikado.di.fc.ul.pt/output/papers.php): More
Global Computing in a Dynamic Network of Tuple Spaces - De Nicola, Gorla, Pugliese (2005) (Correct)
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC