11 search results - page 3 / 3 » Iterative Key Based Routing for Web Services Addressing and ... |
128
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...