76 search results - page 9 / 16 » Compositional Action System Derivation Using Enforced Proper... |
136
click to vote
PLPV
2011
ACM
14 years 13 days ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
57
Voted
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Abstract-- An important intrinsic property of any structured Peer-to-Peer (P2P) overlay is multi-hop paths. Understanding their structure helps to solve challenging problems relate...
FSEN
2009
Springer
15 years 2 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
137
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
68
Voted
CALCO
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...