1532 search results - page 184 / 307 » An Algebraic Process Calculus |
121
click to vote
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
142
click to vote
MRCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
173
Voted
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
131
click to vote
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
138
click to vote
ECOOPW
1994
Springer
15 years 9 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....