Agent-Systems and Formal Languages | IEEE Conference Publication | IEEE Xplore