83 search results - page 3 / 17 » Separation Logic Semantics for Communicating Processes |
118
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
107
Voted
TKDE
2002
15 years 23 days ago
2002
Since WWW encourages hypertext and hypermedia document authoring (e.g. HTML or XML), Web authors tend to create documents that are composed of multiple pages connected with hyperl...
105
Voted
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
145
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
113
Voted
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...