We extend the π-calculus with polyadic synchronisation, a generalisation of the communication mechanism which allows channel names to be composite. We show that this operator embeds nicely in the theory of π-calculus, and makes it possible to derive divergence-free encodings of distributed calculi. We give a separation result between the π-calculus with polyadic synchronisation (π) and the orig...

A C102H30 graphene sheet has been rolled up to construct Single-Walled Carbon NanoTube Fragments (SWCNTFs) as parts of armchair carbon nanotubes by computational quantum chemistry methods. Non-covalent cation-π interactions of the Na+ cation on the central rings of SWCNTFs have investigated. The binding energies of the Na+-SWCNTF complexes versus ...