scientific article; zbMATH DE number 4043221

MaRDI QIDQ3780415zbMATH OpenFDO

Authors K.-U. Felgentreu

Publication date 1987

zbMATH Keywords

Concurrent E-strategiesOBJ languageultra high level languages

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4043232
• scientific article; zbMATH DE number 108369
• scientific article; zbMATH DE number 3947595
• Distributed computation by graph reduction
• scientific article; zbMATH DE number 2124969

Cited in

(2)

• Low cost environment changing in a shallow binding system
• Partial memoization of concurrency and communication

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 Q3780415)