Kamel Tari

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Yamine Ait-Ameur1
Zoubeyr Farah1
1Yamine Ait-Ameur
1Zoubeyr Farah
Learn More
The design and verification of distributed software systems is often hindered by their ever-increasing complexity and their asynchronous operational semantics. This article considers choreography specifications for distributed systems to reduce that complexity. We use labelled state-transitions systems as ground model for both choreographies and the(More)
  • 1