Publications of the Research Institute for Mathematical Sciences
A Formal System for Specification Analysis of Concurrent Programs
Ken HiroseMakoto Takahashi
Author information
JOURNALS FREE ACCESS

Volume 19 (1983) Issue 3 Pages 911-926

Details
Download PDF (1111K) Contact us
Abstract

A formal system FLm, n is proposed to analyze the specification of concurrent programs. The soundness theorem for FLm, n is also proved.

Information related to the author
© Research Institute forMathematical Sciences
Previous article Next article
feedback
Top