Verifying Multran Programs with Temporal Logic


A coordinationstyle programminglanguage, Multran, and its temporal logic semantics are proposed. Multran uses Linda-like tuple space to coordinate concurrent transactions, which could be written in any language as long as they satisfy their preconditions and post-conditions. It has an intuitional presentation and enjoys a temporal logic semantics for… (More)


Cite this paper

@inproceedings{Ma1995VerifyingMP, title={Verifying Multran Programs with Temporal Logic}, author={Wanli Ma and Mehmet A. Orgun}, year={1995} }