2 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Christian Attiogbé
Classical approaches like process algebras or labelled transition systems deal with static composition to model non-trivial concurrent or distributed systems; this is not sufficien…