Geometry of Synthesis II: From Games to Delay-Insensitive Circuits

DOI10.1016/J.ENTCS.2010.08.018zbMath1342.68084OpenAlexW2119454081MaRDI QIDQ3178261

Alex I. Smith, Dan R. Ghica

Publication date: 8 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.08.018

zbMATH Keywords

game semanticsasynchronous digital circuits

Mathematics Subject Classification ID

Applications of game theory (91A80) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Mathematical problems of computer architecture (68M07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Semantics of higher-order quantum computation via geometry of interaction ⋮ Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits

Cites Work

• Unnamed Item
• Unnamed Item
• Syntactic control of concurrency
• Dual-rail transition logic: A logic style for counteracting power analysis attacks
• Syntactic control of interference revisited
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• The regular-language semantics of second-order idealized ALGOL
• Angelic semantics of fine-grained concurrency
• Geometry of synthesis
• Traced monoidal categories
• Retracing some paths in process algebra

This page was built for publication: Geometry of Synthesis II: From Games to Delay-Insensitive Circuits