Ta上传的资源 (0)

Theaimofthisworkistoinvestigatemechanicalsupportforprocess algebra,bothforconcreteapplicationsandtheoreticalproperties.Twoapproaches arepresentedusing