This thesis deals with how to define and build correct distributed nested transactions in a completely decentralized way. In particular, it studies nested transactions in a distributed system of arbitrarily interconnected independent components, with only local knowledge in each component and local rules to enforce correctness. Such systems are called composite systems, and the corresponding tr...

We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study the value semantics of nested nets rather than the reference semantics, and apply nested nets to model adaptive workflow, i.e. flexible workflow that can be modified during the execution. A typical domain with a great need for this kind of workflow is health care, from which domain we choose the runn...

background: zoonotic cutaneous leishmaniasis (zcl) is an expanding disease and public health problem in iran. in the current study, natural leishmania infection rate and seasonal fluctuation of the infection in rhombomys opimus population of a hyperendemic focus of zcl in iran was investigated. methods:   the study was conducted from october 2006 to october 2008 in esfahan province, central par...

Fitting’s indexed nested sequents can be used to give deductive systems to modal logics which cannot be captured by pure nested sequents. In this paper we show how the standard cut-elimination procedure for nested sequents can be extended to indexed nested sequents, and we discuss how indexed nested sequents can be used for intuitionistic modal logics.

Background and Purpose: Fungal keratitis is a suppurative, ulcerative, and sight-threatening infection of the cornea that sometimes leads to blindness. The aims of this study were: recuperating facilities for laboratory diagnosis, determining the causative microorganisms, and comparing conventional laboratory diagnostic tools and semi-nested PCR. Materials and Methods: Sampling was conducted in...

conclusions l. major is the main species responsible for cutaneous leishmsniasis in four geographical regions of khuzestan province southwestern of iran and nested pcr can be used for diagnosis and leishmania species identification. results 138 (94.5%) out of 146 cases of four regions were l. major and 8(5.5%) were l. tropica. 57.97% of l. major cases were male and 42.03% were female. 87.5% of ...

In this paper, we proposed a formal representation of certificate validation in Pretty Good Privacy (PGP) and X.509 systems. This representation uses new logical assertions to support public-key based certification systems and different trust levels. Although the meanings of some of those assertions are different in PGP and X.509 cases, the certificate validation can be expressed using the same...

In this paper, we proposed a formal representation of certificate validation in Pretty Good Privacy (PGP) and X.509 systems. This representation uses new logical assertions to support public-key based certification systems and different trust levels. Although the meanings of some of those assertions are different in PGP and X.509 cases, the certificate validation can be expressed using the same...