Sciweavers

913 search results - page 1 / 183
» Full Abstraction for Linda
Sort
View
ESOP
2008
Springer
13 years 6 months ago
Full Abstraction for Linda
Cinzia Di Giusto, Maurizio Gabbrielli
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
13 years 10 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
FSTTCS
1994
Springer
13 years 9 months ago
Priority and Abstraction in Process Algebra
V. Natarajan, Ivan Christoff, Linda Christoff, Ran...
AINA
2007
IEEE
13 years 11 months ago
Geo-Linda: a Geometry Aware Distributed Tuple Space
This paper presents Geo-Linda, a physically distributed tuple space. Geo-Linda targets ubiquitous computing applications involving the detection of movement patterns of objects an...
Julien Pauty, Paul Couderc, Michel Banâtre, ...
NAR
2011
212views Computer Vision» more  NAR 2011»
12 years 7 months ago
UKPMC: a full text article resource for the life sciences
UK PubMed Central (UKPMC) is a full-text article database that extends the functionality of the original PubMed Central (PMC) repository. The UKPMC project was launched as the fir...
Johanna R. McEntyre, Sophia Ananiadou, Stephen And...