The following pages link to (Q4138149):
Displayed 13 items.
- Equivalence of computations in actor grammars (Q685461) (← links)
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints (Q758195) (← links)
- A model and temporal proof system for networks of processes (Q1079948) (← links)
- Actor languages. Their syntax, semantics, translation, and equivalence (Q1575845) (← links)
- Actor theories in rewriting logic (Q1608923) (← links)
- Bestow and atomic: concurrent programming using isolation, delegation and grouping (Q1785860) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Concurrent algorithm for integrating three-dimensional B-spline functions into machines with shared memory such as GPU (Q2160412) (← links)
- A semantics preserving actor translation (Q4571968) (← links)
- Scalable termination detection for distributed actor systems (Q5089275) (← links)
- (Q5094124) (← links)
- ESM systems and the composition of their computations (Q5096283) (← links)
- (Q5376659) (← links)