Skip to content

A semantic framework for the recursive specification of interaction protocols.

Juan Manuel Serrano, Sascha Ossowski

Year2005
ProceedingsSAC

Browse the full SAC paper archive.