1 citations · 1 across the 1 of their papers we have counts for
1 paper
Jonathan Michaux, Elie Najm, Alessandro Fantechi
By considering an essential subset of the BPEL orchestration language, we define SeB, a session based style of this subset. We discuss the formal semantics of SeB and we present it…