Wang tilings and distributed verification on anonymous torus networks

DOI10.1007/BF02679446zbMATH Open0870.68028MaRDI QIDQ675863FDOQ675863

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

Publication date: 7 September 1997

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

Recommendations

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

zbMATH Keywords

Wang tilesverification problem

Mathematics Subject Classification ID

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

Cites Work

• Computing on an anonymous ring
• Title not available (Why is that?)
• Network Orientation
• Title not available (Why is that?)
• Boolean Operations on Graphs.
• Notes on a class of tiling problems
• 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
• Title not available (Why is that?)
• Wang tilings and distributed verification on anonymous torus networks

Cited In (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

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)