Vasconcelos, V., Lopes, L. and Silva, F., Distribution and Mobility with Lexical Scoping in Process Calculi, 3rd HLCL, ENTCS 16(3), Elsevier, 1998.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....environments. Our investigation is in terms of a higher order p calculus in which values, including process terms, can be exchanged along communication channels [3, 41, 50] We believe that our typing system can be readily adapted to related location based distributed calculi such as those in [6, 12, 28, 17, 40, 47]. Higher Order Processes. The language we consider, lp v , is essentially a call byvalue l calculus [39] augmented with the p calculus primitives [33] Values may be sent and received along communication channels, as in the p calculus, but functions may also be applied to them, as in the ....

Vasconcelos, V., Lopes, L. and Silva, F., Distribution and Mobility with Lexical Scoping in Process Calculi, 3rd HLCL, ENTCS 16(3), Elsevier, 1998.

....environments. Our investigation is in terms of a higher order p calculus in which values, including process terms, can be exchanged along communication channels [3, 41, 50] We believe that our typing system can be readily adapted to related location based distributed calculi such as those in [6, 12, 28, 17, 40, 47]. Higher Order Processes The language we consider, lp v , is essentially a call by value l calculus [39] augmented with the p calculus primitives [33] Values may be sent and received along communication channels, as in the p calculus, but functions may also be applied to them, as in the ....

Vasconcelos, V., Lopes, L. and Silva, F., Distribution and Mobility with Lexical Scoping in Process Calculi, 3rd HLCL, ENTCS 16(3), Elsevier, 1998.

.... of a higher order p calculus in which values, including process terms, can be exchanged along communication channels [3, 29, 35] We believe that our typing system based on fine grained process types can be readily adapted to related location based distributed calculi such as those presented in [6, 4, 9, 11, 15, 33]. Higher Order Processes The language we consider, lp v , is essentially a call by value l calculus augmented with the p calculus primitives [22] For example, c (x : t) f x (1) is a process which inputs a value of type t on channel c and applies to it the function f . This process will be ....

Vasconcelos, V., Lopes, L. and Silva, F., Distribution and Mobility with Lexical Scoping in Process Calculi, 3rd HLCL, ENTCS 16(3), Elsevier, 1998.

....code on local environments. Our investigation is in terms of a higher order p calculus in which values, including process terms, can be exchanged along communication channels [3, 37, 46] We believe that our typing system can be readily adapted to related location based distributed calculi such as [6, 9, 24, 14, 36, 43]. HIGHER ORDER PROCESSES The language we consider, lp v , is essentially a call byvalue l calculus [35] augmented with the p calculus primitives [29] Values may be sent and received along communication channels, as in the p calculus, but functions may also be applied to them, as in the ....

Vasconcelos, V., Lopes, L. and Silva, F., Distribution and Mobility with Lexical Scoping in Process Calculi, 3rd HLCL, ENTCS 16(3), Elsevier, 1998.

....code on local environments. Our investigation is in terms of a higher order p calculus in which values, including process terms, can be exchanged along communication channels [3, 29, 37] We believe that our typing system can be readily adapted to related location based distributed calculi such as [5, 8, 18, 12, 28, 34]. Higher Order Processes The language we consider, lp v , is essentially a call by value l calculus [9] augmented with the p calculus primitives [22] For example, c (x : t) f x (1) is a process which inputs a value of type t on channel c and applies to it the function f . This process will be ....

Vasconcelos, V., Lopes, L. and Silva, F., Distribution and Mobility with Lexical Scoping in Process Calculi, 3rd HLCL, ENTCS 16(3), Elsevier, 1998.

No context found.

Vasconcelos V., Lopes L., and Silva F. Distribution and Mobility with Lexical Scoping in Process Calculi. In Workshop on High Level Programming Languages (HLCL'98), volume 16(3) of ENTCS, pages 19--34. Elsevier Science, 1998.

....this translation allows implicit parallelism to be exposed in the form of multithreaded programs. Several idioms have been encoded into TTyCO, namely a functional core [29] an idiom for client server session based computing [12] and, a language with support for distribution and code mobility [31]. In the sequel we will use an example from a functional language to describe the compilation scheme for TTyCO. The example consists of the well known map function applied to a tree structure. fun map f t = case t of H bud = bud, leaf n = leaf (f n) node l r = node (map f l) map f r) The ....

V. Vasconcelos, L. Lopes, and F. Silva. Distribution and Mobility with Lexical Scoping in Process Calculi. In Workshop on High Level Programming Languages (HLCL'98), volume 16(3) of ENTCS, pages 19--34. Elsevier Science, 1998.

....involved in the design and implementation of languages with run time support for distribution and code mobility. In this paper we focus on the architecture and implementation of a sequential run time system for TyCO. Introducing distribution and mobility is the focus of a cooperating project [24]. Our long term objectives led us to the following design principles: 1. the system should have a compact implementation and be self contained; 2. it should be ecient, running close to languages such as Pict [19] Oz [16] or JoCaml [2] 3. the executable programs must to have a compact, ....

....It is important A Virtual Machine for a Process Calculus 9 that the compilation preserves the nested structure of the source program in the nal byte code. This provides a very ecient way of extracting byte code blocks at run time when considering code mobility in distributed computations [14, 24]. To illustrate the compilation we present a skeletal version of the unoptimized, intermediate code for the Cell example presented in section 2. The run time environment of a vm thread is distributed into three distinct locations: the parameter and free variable bindings pointed to by registers PM ....

[Article contains additional citation context not shown here]

V. Vasconcelos, L. Lopes, and F. Silva. Distribution and mobility with lexical scoping in process calculi. In 3rd International Workshop on High-Level Concurrent Languages, volume 16 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 1998.

....these calculi are processes, representing arbitrary computations and, names, representing places where processes synchronize and exchange data. Recent extensions of these models allowed us for the first time to glimpse, in a rigorous way, the complexity of distributed systems with mobile resources [3, 6, 9, 23, 25]. Underlying these models is the general concept of mobility, that is the ability for processes, objects or computations to dynamically change their location, site, or access rights, as the system evolves. Mobility comes in two flavors: weak mobility, meaning code movement between computations, ....

....to it as in Obliq [5] Code movement is triggered by the lexical scope of names prefixing method invocations, objects or class definitions. The migration of prefixed processes is deterministic, point to point, and asynchronous. Synchronization only happens locally, at reduction time. The DiTyCO [23] model presents a flat organization of sites, that reflects the architectures of current implementations of high performance networks, namely GigaSwitches [7, 8] We feel that, the site organization should map the low level hardware architecture as closely as possible to allow an efficient ....

V. Vasconcelos, L. Lopes, and F. Silva. Distribution and Mobility with Lexical Scoping in Process Calculi. In HLCL'98, ENTCS 16(3), 19--34, Elsevier Science, 1998.

....these calculi are processes, representing arbitrary computations and, names, representing places where processes synchronize and exchange data. Recent extensions of these models allowed us for the first time to glimpse, in a rigorous way, the complexity of distributed systems with mobile resources [3, 6, 9, 23, 25]. Underlying these models is the general concept of mobility, that is the ability for processes, objects or computations to dynamically change their location, site, or access rights, as the system evolves. Mobility comes in two flavors: weak mobility, meaning code movement between computations, ....

....to it as in Obliq [5] Code movement is triggered by the lexical scope of names prefixing method invocations, objects or class definitions. The migration of prefixed processes is deterministic, point to point, and asynchronous. Synchronization only happens locally, at reduction time. The DiTyCO [23] model presents a flat organization of sites, that reflects the architectures of current implementations of high performance networks, namely GigaSwitches [7, 8] We feel that, the site organization should map the low level hardware architecture as closely as possible to allow an efficient ....

V. Vasconcelos, L. Lopes, and F. Silva. Distribution and Mobility with Lexical Scoping in Process Calculi. In HLCL'98, ENTCS 16(3), 19--34, Elsevier Science, 1998.

....this translation allows implicit parallelism to be exposed in the form of multithreaded programs. Several idioms have been encoded into TTyCO, namely a functional core [29] an idiom for client server session based computing [12] and, a language with support for distribution and code mobility [31]. In the sequel we will use an example from a functional language to describe the compilation scheme for TTyCO. The example consists of the well known map function applied to a tree structure. fun map f t = case t of f bud = bud, leaf n = leaf (f n) node l r = node (map f l) map f r) g The ....

V. Vasconcelos, L. Lopes, and F. Silva. Distribution and Mobility with Lexical Scoping in Process Calculi. In Workshop on High Level Programming Languages (HLCL'98), volume 16(3) of ENTCS, pages 19--34. Elsevier Science, 1998.

....involved in the design and implementation of languages with run time support for distribution and code mobility. In this paper we focus on the architecture and implementation of a sequential run time system for TyCO. Introducing distribution and mobility is the focus of a cooperating project [24]. Our long term objectives led us to the following design principles: 1. the system should have a compact implementation and be self contained; 2. it should be e#cient, running close to languages such as Pict [19] Oz [16] or JoCaml [2] 3. the executable programs must to have a compact, ....

....It is important A Virtual Machine for a Process Calculus 9 that the compilation preserves the nested structure of the source program in the final byte code. This provides a very e#cient way of extracting byte code blocks at run time when considering code mobility in distributed computations [14, 24]. To illustrate the compilation we present a skeletal version of the unoptimized, intermediate code for the Cell example presented in section 2. The run time environment of a vm thread is distributed into three distinct locations: the parameter and free variable bindings pointed to by registers PM ....

[Article contains additional citation context not shown here]

V. Vasconcelos, L. Lopes, and F. Silva. Distribution and mobility with lexical scoping in process calculi. In 3rd International Workshop on High-Level Concurrent Languages,volume16ofElectronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 1998.

....has also been used as a basis to reason about distributed computations. Introducing distribution, code mobility, and failure detection and recovery into # computations is a fast growing research field, with immediate applications in mobile computing, web languages, cryptography, to name a few [1, 5, 9, 18]. We proposed a simple model of distribution for mobile processes [18] The following major constraints guided its design. 1. The model should be a simple extension of the calculi we have today; 2. it should be independent of the base calculus chosen; 3. must meet realistic expectations of ....

.... distribution, code mobility, and failure detection and recovery into # computations is a fast growing research field, with immediate applications in mobile computing, web languages, cryptography, to name a few [1, 5, 9, 18] We proposed a simple model of distribution for mobile processes [18]. The following major constraints guided its design. 1. The model should be a simple extension of the calculi we have today; 2. it should be independent of the base calculus chosen; 3. must meet realistic expectations of current distributed systems; 4. must be e#ciently implementable in ....

[Article contains additional citation context not shown here]

V. Vasconcelos and L. Lopes and F. Silva. Distribution and Mobility with Lexical Scoping in Process Calculi. In 3rd International Workshop on High-Level Concurrent Languages, Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 1998.

....with the objective of supporting distributed computations and code mobility. Introducing distribution, code mobility, and failure detection and recovery into computations is a fast growing research eld, with immediate applications in mobile computing, web languages, cryptography, to name a few [2, 12, 21, 73]. We are interested in using TyCO, extended with support for distributed computations and code mobility, to experiment with new programming idioms combining code mobility with concurrency or parallelism. We are especially interested in evaluating the potential of such languages in speci c hardware ....

....This is also relevant for computations triggered by code that migrated from remote nodes since the availability of system resources in a network may be quite heterogeneous. Starting from the TyCO calculus, as de ned in chapter 2, we built a simple model of distribution for mobile processes [73]. The following major constraints guided its design: 1. the model should be a simple extension of the calculi we have today; 2. it should be independent of the base calculus chosen; 3. it must meet realistic expectations of current distributed systems; 4. it must be eciently implementable in ....

[Article contains additional citation context not shown here]

V. Vasconcelos, L. Lopes, and F. Silva. Distribution and Mobility with Lexical Scoping in Process Calculi. In Workshop on High Level Programming Languages (HLCL'98), volume 16(3) of ENTCS, pages 19-34. Elsevier Science, 1998.

....has also been used as a basis to reason about distributed computations. Introducing distribution, code mobility, and failure detection and recovery into computations is a fast growing research eld, with immediate applications in mobile computing, web languages, cryptography, to name a few [1, 5, 9, 18]. We proposed a simple model of distribution for mobile processes [18] The following major constraints guided its design. 1. The model should be a simple extension of the calculi we have today; 2. it should be independent of the base calculus chosen; 3. must meet realistic expectations of ....

.... distribution, code mobility, and failure detection and recovery into computations is a fast growing research eld, with immediate applications in mobile computing, web languages, cryptography, to name a few [1, 5, 9, 18] We proposed a simple model of distribution for mobile processes [18]. The following major constraints guided its design. 1. The model should be a simple extension of the calculi we have today; 2. it should be independent of the base calculus chosen; 3. must meet realistic expectations of current distributed systems; 4. must be eciently implementable in current ....

[Article contains additional citation context not shown here]

V. Vasconcelos and L. Lopes and F. Silva. Distribution and Mobility with Lexical Scoping in Process Calculi. In 3rd International Workshop on High-Level Concurrent Languages, Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 1998.

....these calculi are processes, representing arbitrary computations and, names, representing places where processes synchronize and exchange data. Recent extensions of these models allowed us for the rst time to glimpse, in a rigorous way, the complexity of distributed systems with mobile resources [3, 7, 10, 27, 29]. Underlying these models is the general concept of mobility, that is the ability for processes, objects or computations to dinamically change their location, site, or access rights, as the system evolves. Mobility comes in two avors: weak mobility, meaning code movement between computations, ....

....to it as in Obliq [6] Code movement is triggered by the lexical scope of names pre xing method invocations, objects or class de nitions. The migration of pre xed processes is deterministic, point to point, and asynchronous. Synchronization only happens locally, at reduction time. The DiTyCO [27] model presents a at organization of sites, that re ects the architectures of current implementations of high performance networks, namely Giga Switches [8, 9] We feel that, the site organization should map the low level hardware architecture as closely as possible to allow an ecient ....

V. Vasconcelos, L. Lopes, and F. Silva. Distribution and Mobility with Lexical Scoping in Process Calculi. In Workshop on High Level Programming Languages (HLCL'98), volume 16(3) of ENTCS, pages 19-34. Elsevier Science, 1998.

No context found.

Vasconcelos, V., Lopes, L. and Silva, F., Distribution and Mobility with Lexical Scoping in Process Calculi, 3rd HLCL, ENTCS 16(3), Elsevier, 1998.

No context found.

V. Vasconcelos, L. Lopes, and F. Silva. Distribution and mobility with lexical scoping in process calculi. In HLCL'98, volume 16 (3) of ENTCS. Elsevier Science Publishers, 1998. 12

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