scientific article; zbMATH DE number 4043221

zbMATH Open0639.68015MaRDI QIDQ3780415FDOQ3780415

Authors: K.-U. Felgentreu 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

OBJ languageConcurrent E-strategiesultra high level languages

Mathematics Subject Classification ID

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

Cited In (2)

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

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)