Travelled to:
1 × USA
Collaborated with:
S.Ossowski
Talks about:
framework (1) protocol (1) interact (1) specif (1) semant (1) recurs (1)
Person: Juan Manuel Serrano
DBLP: Serrano:Juan_Manuel
Contributed to:
Wrote 1 papers:
- SAC-2005-SerranoO #framework #interactive #protocol #recursion #semantics #specification
- A semantic framework for the recursive specification of interaction protocols (JMS, SO), pp. 451–456.