Filters








119 Hits in 3.2 sec

A Kleene Analysis of Mobile Ambients [chapter]

Flemming Nielson, Hanne Riis Nielson, Mooly Sagiv
2000 Lecture Notes in Computer Science  
We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambient calculus.  ...  of the analysis.  ...  The ambient calculus is a prototype web-language that allows processes (in the form of mobile ambients) to move inside a hierarchy of administrative domains (also in the form of mobile ambients); since  ... 
doi:10.1007/3-540-46425-5_20 fatcat:nhkt6ju2dnbkbk3mbuq36ompvq

Page 2868 of Mathematical Reviews Vol. , Issue 2003d [page]

2003 Mathematical Reviews  
Summary: “We show that the typed region calculus of Tofte and Talpin can be encoded in a typed z-calculus equipped with name groups and a novel effect analysis.  ...  Region analysis and a z-calculus with groups. (English summary) J. Funct. Programming 12 (2002), no. 3, 229-292.  ... 

Compactly Representing First-Order Structures for Static Analysis [chapter]

R. Manevich, G. Ramalingam, J. Field, D. Goyal, M. Sagiv
2002 Lecture Notes in Computer Science  
In such a representation, a finite collection of predicates is used to define states; the predicates range over a universe of individuals that may evolve-expand and contract-during analysis.  ...  Using a suite of benchmark analysis problems, we systematically compare the new representations with TVLA's existing state representation.  ...  Finally, the MA benchmark [10] verifies certain safety properties of a packet router in the mobile ambient calculus [3] .  ... 
doi:10.1007/3-540-45789-5_16 fatcat:72k267kqnzbezfvinuco5b5ccy

Evaluation of soot particulate mitigation additives in a T63 engine

Edwin Corporan, Matthew DeWitt, Matthew Wagner
2004 Fuel processing technology  
mobility particle sizer (SMPS), laser particle counter (LPC) and a tapered element oscillating microbalance (TEOM).  ...  Particulate samples were collected from the engine exhaust using an oil-cooled probe, and analyzed using a suite of particulates instrumentation, which included a condensation nuclei counter (CNC), scanning  ...  Gerald Ewing of AdTech Systems Research for his technical support in operating the T63 engine, and Mr. Joel Everhart for his assistance in reducing test data.  ... 
doi:10.1016/j.fuproc.2003.11.016 fatcat:eh6k4rhy2baabdszeycwugnncu

Name-passing in an ambient-like calculus and its proof using spatial logic

Xudong Guan
2006 Theoretical Computer Science  
This paper studies a restricted version of the ambient calculus, a process model for mobile and distributed computation.  ...  We only allow single-threaded ambients migrating in a network of immobile ambients, exchanging payloads, and delivering them.  ...  Regarding (May-Test), for any of the cases above we do the following analysis.  ... 
doi:10.1016/j.tcs.2006.02.005 fatcat:qh2mg2o5yvgi3dr7k3xv7u7lxi

A Parametric Abstract Domain for Lattice-Valued Regular Expressions [chapter]

Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2016 Lecture Notes in Computer Science  
We present a lattice-valued generalization of regular expressions as an abstract domain for static analysis.  ...  Finally we illustrate the domain with a static analysis that analyses a communicating process against a lattice-valued regular expression expressing the environment's network communication.  ...  For example, Venet [30] developed a static analysis framework for πcalculus and Rydhof Hansen et al. [16] develop a control-flow analysis and an occurrence counting analysis for mobile ambients.  ... 
doi:10.1007/978-3-662-53413-7_17 fatcat:pydcd3p2tjaxbhwjazxyznfxz4

A substructural logic for layered graphs

M. Collinson, K. McDonald, D. Pym
2014 Journal of Logic and Computation  
Noting that graphs are a key formalism in the description of complex systems, we establish a notion of a layered graph.  ...  We provide a logical characterization of this notion of layering using a non-associative, non-commutative substructural, separating logic.  ...  (up to Kleene equality, ). (3) The operation @ is not commutative (up to Kleene equality).  ... 
doi:10.1093/logcom/exu002 fatcat:w2qhr3yqojd2tmz3in2gdwufyu

Impact of air pollution on hospital admissions in Southwestern Ontario, Canada: Generating hypotheses in sentinel high-exposure places

Karen Y Fung, Isaac N Luginaah, Kevin M Gorey
2007 Environmental Health  
A critical look at the way ambient air quality and other pollutants are monitored in this area is warranted.  ...  The observed number of admissions was then compared to the expected admissions in terms of a ratio.  ...  Acknowledgements This research was supported in part by a Discovery grant from the Natural Sciences and Engineering Research Council of Canada to K.  ... 
doi:10.1186/1476-069x-6-18 pmid:17612400 pmcid:PMC1929065 fatcat:navu62mvena6jo5pjz7asn6esq

Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic

Xudong Guan
2005 Electronical Notes in Theoretical Computer Science  
This paper studies a restricted version of the ambient calculus. We only allow single-threaded ambients migrating in a network of immobile ambients, exchanging payloads, and delivering them.  ...  Moreover, we prove a stronger operational correspondence result using a novel spatial logic, which specifies spatial properties of processes invariant to process reductions.  ...  This enable a finer granularity for scope intrusion and extrusion which could help a deeper analysis of process structures.  ... 
doi:10.1016/j.entcs.2004.11.035 fatcat:naisvpzcgzbmdd3m4whxzvtk2m

A Query Language Based on the Ambient Logic [chapter]

Luca Cardelli, Giorgio Ghelli
2001 Lecture Notes in Computer Science  
The ambient logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computation.  ...  The structural part of the ambient logic is, essentially, a logic of labeled trees, hence it turns out to be a good foundation for query languages for semistructured data, much in the same way as first  ...  The ambient logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computation [10] .  ... 
doi:10.1007/3-540-45309-1_1 fatcat:sqrwskvnjzfhzfaf3tdcuykj6q

Towards Dynamic Updates in Service Composition

Mario Bravetti
2015 Electronic Proceedings in Theoretical Computer Science  
We then consider distributed adaptability, where a process can update part of a protocol by performing dynamic distributed updates over a set of protocol participants.  ...  We present adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution.  ...  Indeed, while in the π-calculus mobility is enforced by the reconfiguration of individual linkages in the communication topology, in the Ambient calculus spatial mobility is obtained by individual modifications  ... 
doi:10.4204/eptcs.201.1 fatcat:p2fksv74d5gbvkp4l45d6gchju

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Alessandro Aldini
2020 Electronic Proceedings in Theoretical Computer Science  
Along the last two decades a variety of theoretical achievements and automated techniques have contributed to make quantitative modeling and verification mainstream in the research community.  ...  In the same period, they represented the central theme of the series of workshops entitled Quantitative Aspects of Programming Languages and Systems (QAPL) and born in 2001.  ...  of π-calculus [117] , interleaving semantics and true concurrent semantics for the probabilistic variant of π-calculus [142] , stochastic broadcast π-calculus [131] , stochastic version of Mobile Ambient  ... 
doi:10.4204/eptcs.312.1 fatcat:4fjvygbppjbq3k5ury2kvue3nq

Adjuncts elimination in the static ambient logic

Étienne Lozes
2004 Electronical Notes in Theoretical Computer Science  
The Ambient Logic (AL) has been proposed for expressing spatial properties of processes of the Mobile Ambient calculus (MA).  ...  Restricting both the calculus and the logic to their static part yields static ambients (SA) and the static ambient logic (SAL), that form a model for queries about semistructured data.  ...  Ghelli helped me significantly to improve the first version of this presentation. I also want to thank D. Sangiorgi, L. Monteiro, L. Caires, and D. Hirschkoff for their advice all along this work.  ... 
doi:10.1016/j.entcs.2004.04.021 fatcat:crsaylacurbpppdvo7wvmu4ske

Cryo secondary ion mass spectrometry for wood component visualization: a mini review

Dan Aoki, Yasuyuki Matsushita, Kazuhiko Fukushima
2021 Holzforschung  
Here, the combination of a freeze-fixation and a cryo sample stage is a promising method to do mass spectrometry while maintaining the original situation.  ...  By rapidly freezing the cells, the momentary situation as a living cell is fixed. The situation in a living cell can be captured as still images by cryo imaging mass spectrometry.  ...  a long time with analysis of biological material.  ... 
doi:10.1515/hf-2021-0142 fatcat:t4x7bt4ljzdgtpzhhbfecov3t4

Physical-chemical properties of pesticides: concepts, applications, and interactions with the environment

Vanderley José Pereira, João Paulo Arantes Rodrigues da Cunha, Tâmara Prado de Morais, João Paulo Ribeiro de Oliveira, João Batista de Morais
2016 Bioscience Journal  
In summary, the more mobile and persistent a molecule is, the greater its potential for seepage and leaching and, consequently, the greater its potential for contaminating surface, subsurface, and ground  ...  In general, a better understanding of the physical-chemical characteristics of agricultural chemicals makes it possible to improve their efficiency of application, consequently reducing losses and maintaining  ...  de sucesso desta aplicação e, consequentemente, à manutenção da integridade ambiental.  ... 
doi:10.14393/bj-v32n3a2016-31533 fatcat:3spsvhoi65dffa4sakve77ojaa
« Previous Showing results 1 — 15 out of 119 results