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...

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...