Modesti, Paolo <1966>
(Università Ca' Foscari Venezia, 2012-03-12)
AnBx is an extension of the Alice & Bob notation for protocol narrations to serve as a specification language for a purely declarative modelling of distributed protocols. AnBx is built around a set of communication and ...