INTERPROCS: a Java-based prototyping environment for distributed electronic trade procedures | IEEE Conference Publication | IEEE Xplore