Atomic Components
نویسندگان
چکیده
The operational definition of observational congruence in CCS and ACP can be split into two parts: one, the definition of an observational semantics (i.e. abstraction); and two, the definition of a strong congruence. In both cases this “separation of concerns” has been applied with abstraction that is implicitly “fair”. We define a novel (if obvious) observational semantics with no implicit “fairness”. When combining this observational semantics with failure equality the resulting observational semantics is shown to be equal, other than for minor details, to NDFD semantics. We also combine our observational semantics with singleton failure semantics and we establish congruence results for this new observational equality.
منابع مشابه
Antibacterial Activity of Thymus Syriacus Boiss Essential Oil and Its Components against Some Syrian Gram-Negative Bacteria Isolates
Background: Despite the medical discoveries of different medicines and advanced ways of treatment, statistics have shown that the number of patients is increasing. This may be due to chemical drugs used in healthcare, agriculture, and diets. This soaring demand in medicines urges us to look for natural sources such as aromatic plants and essential oils, which are rich in efficient compounds. ...
متن کاملUse of a flow-injection sample manipulator as an interface between a "high-performance" liquid chromatograph and an atomic absorption spectrophotometer.
We describe an integrated, molecular-absorbance, atomic absorption instrument for studying metal/ligand binding in clinical samples. For an interface between the "high-performance" liquid chromatograph and the atomic absorption instrument we used a flow-injection sample manipulator, thus allowing both the chromatograph and the atomic absorption detector to operate at their separate optimum cond...
متن کاملData Driven Gesture Model Acquisition using Minimum Description Length
An approach is presented to automatically segment and label a continuous observation sequence of hand gestures for a complete unsupervised model acquisition. The method is based on the assumption that gestures can be viewed as repetitive sequences of atomic components, similar to phonemes in speech, starting and ending in a rest position and governed by a high level structure controlling the te...
متن کاملMasaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equations) by parallel and serial composition, arbitrarily nested. Each system component consists of an interface, which determines the possible ways of using the component, and a set of executions, which de ne the possible b...
متن کاملDecomposition into open nets
We study the decomposition of an arbitrary Petri net into open nets. This means that shared places can be seen as message channels between components. We show that there exists a unique decomposition into atomic components which can be efficiently computed. We further show that every composition of components yields a component and that every component can be built from atomic components. Final...
متن کاملSchematic Diagram For Atomic Absorption Spectroscopy
Atomic absorption spectroscopy (AAS) is an analytical technique that Below Figure 1 is a block diagram of the major components of an atomic absorption. ATOMIC ABSORPTION SPECTROSCOPY TARANPREET SINGH MS12044 Chem. or Computer Schematic diagram of Atomic absorption spectrometer LINE. the flame atomic absorption photometry shows the presence of Ca, Cd, Co, Cu, Fe, Mg, Mn, Pb and Fig. 2. Schematic...
متن کامل