Partial-Order Process Algebra