Publications of the Research Institute for Mathematical Sciences
Online ISSN : 1663-4926
Print ISSN : 0034-5318
A Formal System for Specification Analysis of Concurrent Programs
Ken Hirose, Makoto Takahashi
Author information
JOURNAL FREE ACCESS

1983 Volume 19 Issue 3 Pages 911-926

Details
Download PDF (1111K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
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.

Content from these authors

This article cannot obtain the latest cited-by information.

© Research Institute forMathematical Sciences
Previous article Next article
Favorites & Alerts

Recently viewed articles
Predecessor

Publications of the Research Institute for Mathematical Sciences, Kyoto University. Ser. A

Share this page
feedback
 Top