scientific article; zbMATH DE number 1314226

MaRDI QIDQ4256312zbMATH OpenFDO

Authors Peter Wegner, Dina Goldin

Publication date 12 July 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=19#19007

zbMATH Keywords

coinductive models

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 1759734
• Coherent models of proof nets
• Agents via mixed-mode computation in linear logic
• scientific article; zbMATH DE number 1202867
• scientific article; zbMATH DE number 1773056
• Algebraic specification of agent computation
• A theoretical perspective of coinductive logic programming
• scientific article; zbMATH DE number 5547960
• Complexity of equivalence problems for concurrent systems of finite agents

Cited in

(2)

• Finitary coalgebraic multisemilattices and multilattices.
• Turing machines, transition systems, and interaction

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 Q4256312)