×

zbMATH — the first resource for mathematics

Replication in concurrent combinators. (English) Zbl 0942.03510
Hagiya, Masami (ed.) et al., Theoretical aspects of computer software. 2nd international Symposium TACS ’94, Sendai, Japan, April 19-22, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 789, 786-805 (1994).
For the entire collection see [Zbl 0925.68012].

MSC:
03B40 Combinatory logic and lambda calculus
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
PDF BibTeX XML Cite