Implementation of CSP-S for description of distributed algorithms

The implementation of CSP-S (a subset of CSP)—a high level language for distributed programming—is presented in this paper. The language CSP-S features a parallel command, communication by message passing and the use of guarded command. The implementation consists of a compiler translating the CSP-S constructs into intermediate language. The execution is carried out by a scheduler which creates an illusion of concurrency. Using the CSP-S language constructs, distributed algorithms are written, executed and tested with the compiler designed.

Versatility of azide in serendipitous assembly of Copper(II) Magnetic Polyclusters

Engineering at the molecular level is one of the most exciting new developments for the generation of functional materials. However, the concept of designing polynuclear extended structures from bottom up is still not mature. Although progress has been made with secondary building units (SBUs) in metal organic frameworks (MOFs), the control seems to be just an illusion when it comes to bridging ligands such as the azide ion. When we say that the azido ligand is versatile in its bridging capabilities, what we mean is that it would be difficult to predict or control its bridging properties. However, this kind of serendipity is not always bad news. For example, scientists have shown that the azido ligand can mediate magnetic exchanges between paramagnetic metals in a predictable fashion (usually depending upon the bonding geometries). Therefore, it is a well-respected ligand in polynuclear assemblies. Serendipitous assemblies offer new magnetic structures that we may not otherwise even think about synthesizing. The azido ligand forms a variety of complexes with copper(II) using different blocking amines or pyridine based ligands. Its structural nature changes upon changing the substitution on amine, as well as the amount of blocking ligand. In principle, if we take any of these complexes and provide more coordination sites to the bridging azido ligands by removing a fraction of the blocking ligands, we can get new complexes with intricate structural networks and therefore different magnetic properties with the same components as used for the parent complex. In this Account, we mainly discuss the development of a number of new topological and magnetic exchange systems synthesized using this concept. Not all of these new complexes can be grouped according to their basic building structures or even by the ratio of the metal to blocking ligand. Therefore, we divided the discussion by the nuclearity of the basic building structures. Some of the complexes with the same nuclearities have very similar or even almost identical basic structures. However, the way these building units are joined together (by the azido bridges) to form the overall extended structures differ almost in every case. The complexes having the Cu-6 core are particularly interesting from a structural point of view. Although they have almost identical basic structures, some of them are extended in three dimensions, but two of them are extended in two dimensions by two different bridging networks. In the complexes having linear Cu-4 basic units, we find that using similar ligands does not always give the same bridging networks even within the basic building structures. These complexes have also enriched the field of molecular magnetism. One of the complexes with a Cu-3 building unit has provided us with the opportunity to study the competing behavior of two different kinds of magnetic exchange mechanism (ferromagnetic and antiferromagnetic) acting simultaneously between two metal ions. Through density functional theory calculations, we showed how they work independently and their additive nature to produce the overall effect. The exciting methodology for the generation of copper(II) polyclusters presented in this Account will provide the opportunity to explore analogous serendipitous assembly of diverse structures with interesting magnetic behavior using other transition metal ions having more than one unpaired electrons.