Global computing in a dynamic network of tuple spaces

DOI10.1016/J.SCICO.2006.06.004MaRDI QIDQ859968zbMATHOpenAlexWikidataFDO

Authors Rocco De Nicola, Daniele Gorla, Rosario Pugliese

Publication date 22 January 2007

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2006.06.004

zbMATH Keywords

distributed algorithmsformal methodsobservational equivalenceprogram verificationglobal computing

Mathematics Subject Classification ID

Distributed algorithms (68W15) Theory of software (68N99)

Recommendations

• Pattern matching over a dynamic network of tuple spaces
• The Klaim project: Theory and practice
• scientific article; zbMATH DE number 2038704
• On the expressive power of \textsc{Klaim}-based calculi
• scientific article; zbMATH DE number 2036337

Cited in

(12)

• scientific article; zbMATH DE number 2036337 (Why is no real title available?)
• Pattern matching over a dynamic network of tuple spaces
• scientific article; zbMATH DE number 1951525 (Why is no real title available?)
• Automata, Languages and Programming
• Revealing the trajectories of KLAIM tuples, statically
• Coordination Models and Languages
• tKlaim
• Abstractions for fault-tolerant global computing
• A theory of system behaviour in the presence of node and link failure
• Data-driven choreographies à la Klaim
• The Klaim project: Theory and practice
• Basic observables for a calculus for global computing

Describes a project that uses

Uses Software

• MWB
• KLAIM

This page was built for publication: Global computing in a dynamic network of tuple spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q859968)