LfP: A specification language for rapid prototyping of concurrent systems | IEEE Conference Publication | IEEE Xplore