We study the problem of defining trace-based models for systems with real-time and stochastic behaviour. Trace semantics is a simple and intuitive model that describes the behaviour of a system in terms of the possible actions it can perform, and it can be used for the specification of safety properties. We present two process algebras, one featuring real-time and another stochastic behaviour, ...

By trustworthy adaptive case management we mean that it should be possible to adapt processes and goals at runtime while guaranteeing that no deadlocks and livelocks are introduced. We propose to support this by applying a formal declarative process model, DCR Graphs, and exemplify its operational semantics that supports both run time changes and formal verification. We show how these technique...

a simple and green chemical procedure was reported for the synthesis of dihydropyrimidinones from various aldehydes, ethyl acetoacetate and urea or thiourea using  holmium chloride as catalyst. the reactions were performed under solvent free conditions with ultrasound irradiation as the energy source. the advantages of this protocol include the excellent yield, operational simplicity, short tim...