Learn More
The process algebra CSP is tailored for the specification and verification of reactive systems. Such systems react upon external stimuli by adjusting their internal behavior, e.g., to recover from errors. Adaptive systems can be regarded as a subclass of reactive systems in the sense that such systems react by adapting to changes propagated by some(More)
Salinomycin raised hope to be effective in anti-cancer therapies due to its capability to overcome apoptosis-resistance in several types of cancer cells. Recently, its effectiveness against human hepatocellular carcinoma (HCC) cells both in vitro and in vivo was demonstrated. However, the mechanism of action remained unclear. Latest studies implicated(More)
Nowadays, the problem in business process management (BPM) is that BPM systems should both be easy to use for business process developers and be based on a sound formal method. Business process management systems are often based on semiformal modeling techniques such as event-driven process chains (EPC) or UML. Unlike semiformal modeling techniques, the(More)
Being an integral part of basic, translational and clinical research, the demand for primary human hepatocytes (PHH) is continuously growing while the availability of tissue resection material for the isolation of metabolically competent PHH remains limited. To overcome current shortcomings, this study evaluated the use of explanted diseased organs from(More)
Coordination languages allow us to separate interaction behavior from the sequential functional aspects of the components of concurrent systems. This helps us to reduce the complexities of such systems making them easier to design and to understand. However, there is still a gap between formal approaches to coordination and their implementation in(More)