A Rewriting Logic Approach to OWL-S Composite Process Formal Specification.

JunFeng Wu, HuaiKou Miao

Browse the full APSCC paper archive.