Wang tilings and distributed verification on anonymous torus networks

DOI10.1007/BF02679446zbMath0870.68028MaRDI QIDQ675863

Violet R. Syrotiuk, Charles J. Colbourn, Jan K. 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)

Related Items (3)

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

Uses Software

• Grail

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Wang tilings and distributed verification on anonymous torus networks
• Universal covers of graphs: Isomorphism to depth \(n-1\) implies isomorphism to all depths
• Optimal lower bounds for some distributed algorithms for a complete network of processors
• Computing on an anonymous ring
• Notes on a class of tiling problems
• Network Orientation
• Boolean Operations on Graphs.

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