Global computing in a dynamic network of tuple spaces

DOI10.1016/J.SCICO.2006.06.004zbMATH Open1178.68160OpenAlexW1998298131WikidataQ57650821 ScholiaQ57650821MaRDI QIDQ859968FDOQ859968

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

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

zbMATH Keywords

distributed algorithmsformal methodsobservational equivalenceprogram verificationglobal computing

Mathematics Subject Classification ID

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

Cited In (12)

• A theory of system behaviour in the presence of node and link failure
• Abstractions for fault-tolerant global computing
• Title not available (Why is that?)
• Automata, Languages and Programming
• Basic observables for a calculus for global computing
• Coordination Models and Languages
• tKlaim
• 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
• Title not available (Why is that?)

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)