scientific article; zbMATH DE number 3566182

zbMATH Open0363.68077MaRDI QIDQ4138149FDOQ4138149

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

Publication date: 1977

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

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
• Title not available (Why is that?)
• Actor theories in rewriting logic
• Parallel computing with R: a brief review
• A semantics preserving actor translation
• Bestow and atomic: concurrent programming using isolation, delegation and grouping
• 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
• Title not available (Why is that?)

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)