Experimental Biological Protocols with Formal Semantics