Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced in [11] and [10] using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification ...

in (golchin a. and rezaei p., subpullbacks and flatness properties of s-posets. comm. algebra. 37: 1995-2007 (2009)) study was initiated of flatness properties of right -posets  over a pomonoid  that can be described by surjectivity of  corresponding to certain (sub)pullback diagrams and new properties such as  and  were discovered. in this article first of all we describe po-flatness propertie...

This paper presents a new non-associative algebra which is used to (i) show how the spectator (or Gross) two-body equations and electromagnetic currents can be formally derived from the Bethe-Salpeter equation and currents if both are treated to all orders, (ii) obtain explicit expressions for the Gross two-body electromagnetic currents valid to any order, and (iii) prove that the currents so d...

Limit the abstract to 250 words or fewer and concisely summarize the basic content of the paper without presenting extensive experimental details. Avoid abbreviations and references, and do not include diagrams. When it is essential to include a reference, use the same format as shown for the References section but omit the article title. Because the abstract will be published separately by abs...

Ternary and Quaternary Lattice Diagrams are introduced that can find applications to submicron design, and designing new fine-grain digital, analog and mixed FPGAs. They expand the ideas of Lattice diagrams [6, 111 and Linearly Independent (LI) Logic [5, 7, 8, 9, 10, 12, 17, 181. In a regular layout, every cell is connected to 4 , 6 or 8 neighbors and to a number of vertical, horizontal and dia...

Evaluation is carried out to determine the effectiveness of training. Evaluations that are still manually/conventionally by collecting data through filling in instruments, have constraints including; Speed submission evaluation results report; delay submitting issuance a certificate because report used as requirement for filing; limited storage space files/report archives; risk damage, loss eit...