Wang tilings and distributed verification on anonymous torus networks
From MaRDI portal
Publication:675863
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
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)
Uses Software
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)