First, let’s get you acquainted with the Agnos tool-chain, which consists of the agnos_compiler and libagnos, and the related concepts and terminology:
This section contains reference material about the library, useful for service consumers (clients) and provides (servers):
Step-by-step tutorials showing you how to use Agnos:
Full-blown, annotates demo programs:
