×

zbMATH — the first resource for mathematics

Plemwanal: a commutating computing mathematics generator. (English) Zbl 1159.68430
MSC:
68P20 Information storage and retrieval of data
68Q65 Abstract data types; algebraic specification
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
94A05 Communication theory
94A15 Information theory (general)
Software:
Plemwanal
PDF BibTeX XML Cite