2173 search results - page 21 / 435 » An operational semantics for skeletons |
100
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
76
Voted
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
105
click to vote
FCT
2003
Springer
15 years 5 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
113
click to vote
ENTCS
2008
15 years 16 days ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
112
click to vote
ENTCS
2010
14 years 9 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...