scientific article; zbMATH DE number 3566182

zbMath0363.68077MaRDI QIDQ4138149

Henry G. Jun. Baker, Carl E. Hewitt

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

A model and temporal proof system for networks of processes ⋮ Concurrent algorithm for integrating three-dimensional B-spline functions into machines with shared memory such as GPU ⋮ A semantics preserving actor translation ⋮ ESM systems and the composition of their computations ⋮ Twenty years of rewriting logic ⋮ Equivalence of computations in actor grammars ⋮ Unnamed Item ⋮ Bestow and atomic: concurrent programming using isolation, delegation and grouping ⋮ Unnamed Item ⋮ Scalable termination detection for distributed actor systems ⋮ PROCOL. A concurrent object-oriented language with protocols delegation and constraints ⋮ Actor languages. Their syntax, semantics, translation, and equivalence ⋮ Actor theories in rewriting logic