scientific article

zbMath1272.68054MaRDI QIDQ2851047

Grit Denker, Jonathan Millen

Publication date: 2 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825277

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Network protocols (68M12)

Related Items (1)

Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol

Cites Work

• Unnamed Item

This page was built for publication: