2 papers
cs.PL2015
Semantics for Locking Specifications
Michael Ernst, Damiano Macedonio, Massimo Merro +1
To prevent concurrency errors, programmers need to obey a locking discipline. Annotations that specify that discipline, such as Java's @GuardedBy, are already widely used. Unfortun…
cs.CR2011
A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks
Francesco Ballardin, Damiano Macedonio, Massimo Merro +1
We propose a simple timed broadcasting process calculus for modelling wireless network protocols. The operational semantics of our calculus is given in terms of a labelled transiti…