Lang-n-Send: Processes That Send Languages
نویسندگان
چکیده
We present Lang-n-Send, a pi-calculus that is equipped with language definitions. Processes can define languages in operational semantics, and use them to execute programs. Furthermore, processes send receive pieces of semantics through channels. reduction for we offer examples demonstrate some the scenarios Lang-n-Send captures.
منابع مشابه
Read File Send DataStart End Accept Conn Send
This paper presents the design of a new Web server architecture called the asymmetric multiprocess event-driven (AMPED) architecture, and evaluates the performance of an implementation of this architecture, the Flash Web server. The Flash Web server combines the high performance of singleprocess event-driven servers on cached workloads with the performance of multi-process and multithreaded ser...
متن کاملSEnD NMR: sensitivity enhanced n-dimensional NMR.
Sparse sampling offers tremendous potential for overcoming the time limitations imposed by traditional Cartesian sampling of indirectly detected dimensions of multidimensional NMR data. However, in many instances sensitivity rather than time remains of foremost importance when collecting data on protein samples. Here we explore how to optimize the collection of radial sampled multidimensional N...
متن کاملSend Fredo off to Do This, Send Fredo off to Do That
Fredo is a generic domain-independent broker that creates valueadded information taking into account the preferences specified by its clients. Fredo uses ontology services and yellow pages services to discover a set of agents that can provide information relevant to its clients’ requests. Fredo uses an intelligent heuristic strategy based on a fuzzy evaluation mechanism to plan the queries it u...
متن کاملFind File Read File Send DataStart End Accept Conn Send
This paper presents the design of a new Web server architecture called the asymmetric multi process event driven AMPED architecture and evaluates the performance of an implementation of this architecture the Flash Web server The Flash Web server combines the high performance of single process event driven servers on cached workloads with the performance of multi process and multi threaded serve...
متن کامل1 Send correspondence to:
We present the results of a visible spectroscopic and photometric survey of Jupiter Trojans belonging to different dynamical families. The survey was carried out at the 3.5m New Technology Telescope (NTT) of the European Southern Observatory (La Silla, Chile) in April 2003, May 2004 and January 2005. We obtained data on 47 objects, 23 belonging to the L5 swarm and 24 to the L4 one. These data t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2022
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.356.5