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

(15)

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

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)