Raftul cu initiativa Book Archive

Machine Theory

Algebraic Theory of Processes by Matthew Hennessy

By Matthew Hennessy

Algebraic thought of techniques offers the 1st common and systematic creation to the semantics of concurrent structures, a comparatively new examine quarter in desktop technology.

Show description

Read Online or Download Algebraic Theory of Processes PDF

Best machine theory books

Digital and Discrete Geometry: Theory and Algorithms

This booklet offers accomplished insurance of the fashionable tools for geometric difficulties within the computing sciences. It additionally covers concurrent subject matters in info sciences together with geometric processing, manifold studying, Google seek, cloud info, and R-tree for instant networks and BigData. the writer investigates electronic geometry and its similar positive tools in discrete geometry, delivering certain tools and algorithms.

Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

This ebook constitutes the refereed court cases of the twelfth overseas convention on synthetic Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 complete papers provided including 2 invited papers have been rigorously reviewed and chosen from 22 submissions.

Statistical Language and Speech Processing: Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings

This booklet constitutes the refereed lawsuits of the 3rd foreign convention on Statistical Language and Speech Processing, SLSP 2015, held in Budapest, Hungary, in November 2015. The 26 complete papers awarded including invited talks have been conscientiously reviewed and chosen from seventy one submissions.

Additional info for Algebraic Theory of Processes

Sample text

5, 183–191 (1961) 11. : Logical reversibility of computation. IBM J. Res. Dev. 17, 525–532 (1973) 12. : The physics of Maxwell’s demon and information. Rev. Mod. Phys. 81, 1–22 (2009) 13. : Reversible logic and quantum computers. Phys. Rev. A 32, 3266–3276 (1985) 14. : Conservative logic. Int. J. Theor. Phys. 21(3–4), 219–253 (1982) 15. : Interaction-free quantum optical Fredkin gates in χ2 microdisks. IEEE J. Quantum Electron. 18, 600–611 (2012) 16. : Implementation of a Toffoli gate with superconducting circuits.

IEEE Trans. Nanobiosci. 10, 160–171 (2011) 41. : Dynamic analysis of crosstalk performance in microring-based add/drop filters. IEEE J. Lightw. Technol. 27, 2027–2034 (2009) 42. : All-optical comb switch for multiwavelength message routing in silicon photonic networks. IEEE Photon. Technol. Lett. 20, 767–769 (2008) 43. : Subfemtojoule all-optical switching using a photonic-crystal nanocavity. Nat. Photonics 4, 477–483 (2010) 44. : Ultrafast all-optical switching in a silicon-based plasmonic nanoring resonator.

MRR switch can be used to simultaneously switch on and off a large number of wavelength channels due to its relatively small Free Spectral Range (FSR) [42]. The pump-probe technique can be used advantageously to cascade the gates to realize higher arithmetic and logic circuits. Complex circuits can be realized using these reversible logic gates. For instance, all-optical Fredkin logic gate has been used to realize all-optical full-adder, MUX/DEMUX, XOR/XNOR with bacteriorhodopsin protein coated silica microcavities by cascading the pump and the probe outputs at Pt and Pd as inputs to other logic gates [37].

Download PDF sample

Rated 4.08 of 5 – based on 43 votes