Wang tilings and distributed verification on anonymous torus networks

DOI10.1007/BF02679446MaRDI QIDQ675863zbMATHFDO

Authors Violet R. Syrotiuk, Charles J. Colbourn, Jan Pachl

Publication date 7 September 1997

Published in Theory of Computing Systems (Search for Journal in Brave)

zbMATH Keywords

Wang tilesverification problem

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Recommendations

• Network Orientation
• scientific article; zbMATH DE number 2119689
• scientific article; zbMATH DE number 1948487
• scientific article; zbMATH DE number 1101596
• Universal Tilings

Cites work

• scientific article; zbMATH DE number 3864485 (Why is no real title available?)
• scientific article; zbMATH DE number 3968590 (Why is no real title available?)
• scientific article; zbMATH DE number 3377457 (Why is no real title available?)
• Boolean Operations on Graphs.
• Computing on an anonymous ring
• Network Orientation
• Notes on a class of tiling problems
• Optimal lower bounds for some distributed algorithms for a complete network of processors
• Universal covers of graphs: Isomorphism to depth \(n-1\) implies isomorphism to all depths
• Wang tilings and distributed verification on anonymous torus networks

Cited in

(3)

• Torus orientation
• Wang tilings and distributed verification on anonymous torus networks
• OPTIMAL CONSTRUCTION OF SENSE OF DIRECTION IN A TORUS BY A MOBILE AGENT

Describes a project that uses

Uses Software

• Grail

This page was built for publication: Wang tilings and distributed verification on anonymous torus networks

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