scientific article; zbMATH DE number 3566182

MaRDI QIDQ4138149zbMATH OpenFDO

Authors Carl E. Hewitt, Henry G. Jun. Baker

Publication date 1977

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited in

(14)

• Scalable termination detection for distributed actor systems
• Twenty years of rewriting logic
• Equivalence of computations in actor grammars
• scientific article; zbMATH DE number 7566052 (Why is no real title available?)
• Actor theories in rewriting logic
• Parallel computing with R: a brief review
• Bestow and atomic: concurrent programming using isolation, delegation and grouping
• A semantics preserving actor translation
• Concurrent algorithm for integrating three-dimensional B-spline functions into machines with shared memory such as GPU
• Actor languages. Their syntax, semantics, translation, and equivalence
• PROCOL. A concurrent object-oriented language with protocols delegation and constraints
• A model and temporal proof system for networks of processes
• ESM systems and the composition of their computations
• scientific article; zbMATH DE number 7056232 (Why is no real title available?)

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