scientific article; zbMATH DE number 4051577

MaRDI QIDQ3787982zbMATH OpenFDO

Authors S. Igarashi, T. Mizutani, Takashi Tsuji

Publication date 1987

zbMATH Keywords

\(\nu \)-conversionanalytical semanticsformal real analysis FAspecifications for parallel programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4051578
• scientific article; zbMATH DE number 723228
• scientific article; zbMATH DE number 3890713
• Full abstraction for a shared-variable parallel language
• Concurrent programming languages and methods for semantic analyses (extended abstract of invited talk)

Cited in

(3)

• On the programs-as-formulas interpretation of parallel programs in Peano arithmetic
• scientific article; zbMATH DE number 4051578 (Why is no real title available?)
• Formal verification and evaluation of execution time in the envelope theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787982)