General-purpose concurrent and post-processed animation with proof/sup TM/ | IEEE Conference Publication | IEEE Xplore