Global computing in a dynamic network of tuple spaces

DOI10.1016/J.SCICO.2006.06.004MaRDI QIDQ859968zbMATH OpenOpenAlexWikidataFDO

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)

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

Describes a project that uses

Uses Software

• KLAIM
• MWB

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)