scientific article; zbMATH DE number 2036337

MaRDI QIDQ4445774zbMATH OpenFDO

Authors Eugenio Moggi, Gian Luigi Ferrari, Rosario Pugliese

Publication date 2 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2196/21960183.htm

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• MetaKlaim: a type safe multi-stage language for global computing
• Global computing in a dynamic network of tuple spaces
• The Klaim project: Theory and practice
• On the expressive power of \textsc{Klaim}-based calculi
• scientific article; zbMATH DE number 1696899

Cited in

(3)

• MetaKlaim: a type safe multi-stage language for global computing
• Coordination Models and Languages
• Global computing in a dynamic network of tuple spaces

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