A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Kleene Analysis of Mobile Ambients
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Fuel processing technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2006
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Environmental Health
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1512.07680v1 fatcat:aoam7vq6gbdrjhqgtwh3ipl6au
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
2020
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2001.06942v1 fatcat:6c7lsfalb5fanluvezt7nvsqkq
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
2004
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2021
Holzforschung
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2016
Bioscience Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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