Global computing in a dynamic network of tuple spaces

DOI10.1016/j.scico.2006.06.004zbMath1178.68160OpenAlexW1998298131WikidataQ57650821 ScholiaQ57650821MaRDI QIDQ859968

Rosario Pugliese, Daniele Gorla, Rocco De Nicola

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

formal methodsdistributed algorithmsobservational equivalenceprogram verificationglobal computing

Mathematics Subject Classification ID

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

Related Items

A theory of system behaviour in the presence of node and link failure, tKlaim

Uses Software

• MWB
• KLAIM