26 search results - page 6 / 6 » Formal Semantics for AUML Agent Interaction Protocol Diagram... |
AC
2000
Springer
13 years 9 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...