![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Isolated Hypoxic Liver Perfusion with Melfalan in Humans and Its Anesthesiologic Aspects
This is the first detailed description from the anesthesiologic management during isolated hypoxic hepatic perfusion (IHHP), a complex way of regional cancer therapy. During IHHP, there is full clam** of the...
-
Chapter and Conference Paper
Simulation-Based Performance Analysis of Channel-Based Coordination Models
Quantifying the performance of component-based or service-oriented systems is a complex task, e.g., it is non-trivial to calculate the end-to-end quality of service of a composite Web service. An established a...
-
Chapter
Evolutionary software engineering: a component-based approach
A software industry producing high-quality components that can be reused in many ways is an—unfulfilled—dream as old as the field of “software engineering” itself. In this paper we present an evolutionary appr...
-
Chapter and Conference Paper
A congruence theorem for structured operational semantics with predicates and negative premises
We proposed a syntactic format, the panth format, for structured operational semantics in which besides ordinary transitions also predicates, negated predicates, and negative transitions may occur such that if th...
-
Chapter and Conference Paper
A congruence theorem for structured operational semantics with predicates and negative premises
We proposed a syntactic format, the panth format, for structured operational semantics in which besides ordinary transitions also predicates, negated predicates, and negative transitions may occur such that if th...
-
Chapter and Conference Paper
A congruence theorem for structured operational semantics with predicates
We proposed a syntactical format, the path format, for structured operational semantics in which predicates may occur. We proved that strong bisimulation is a congruence for all the operators that can be defined ...