Process Algebra in PVS
Theaimofthisworkistoinvestigatemechanicalsupportforprocess
algebra,bothforconcreteapplicationsandtheoreticalproperties.Twoapproaches
arepresentedusingtheverificationsystemPVS.Oneapproachdeclaresprocess
termsasanuninterpretedtypeandspecifiesequalityontermsbyax
下载地址
用户评论
