You are about to access our book library "Distributed Abstract State Machine for Grid Services: A formal method for studying complex systems full version" .