[□]
[□=□]
[□ & □]
In this area , we have been involved in the analysis of bisimulation in the framework of join-calculus , in the expressivity of the fusion-calculus and the study of a novel class-based concurrent calculus - - the objective join-calculus . Tools for Permanency - Concurrent Permanency Planning This tool offers a structured approach to moving children more quickly from the uncertainty of foster care to the stability and security of a permanent family . This risk is increased with concurrent abuse of alcohol and other substances . A ( concurrent ) history of a concurrent object is linearizable if ( 1 ) it contains the same operations ( method calls , with parameters ) as some sequential history ( one in which every invocation is immediately followed by its response - - no overlap ) , with the same thread subhistories , and ( 2 ) the sequential history is consistent with the operation invocation and response ordering in the concurrent history ; that is , the partial order induced by the concurrent history is consistent with the total order of the sequential history . Through the description of each of the previous stages , this paper demonstrates that tools designed for protocol conformance testing can be efficiently used to generate executable tests for hardware concurrent systems .