9 search results - page 2 / 2 » A Concurrent Language with a Uniform Treatment of Regions an... |
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
APLAS
2009
ACM
13 years 11 months ago
2009
ACM
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...
IJCAI
1989
13 years 6 months ago
1989
A homogeneous paradigm for evidence integration is presented, and a vision system to recognize 3D objects is demonstrated using this paradigm. A new concept called generalizedfeat...
ASIAN
1998
Springer
13 years 9 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...