In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to
define operational semantics of programming languages by a set of rules of a certain shape …

We propose both an SOS transition rule format for the generative model of probabilistic
processes, and an SOS transition rule format for the reactive model of the probabilistic …

In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to
define operational semantics of programming languages by a set of rules of a certain shape …

Determinism is a semantic property of (a fragment of) a language that specifies that a
program cannot evolve operationally in several different ways. Idempotence is a property of …

We propose a Calculus of Mobility and Communication (CMC) for the modelling of mobility,
communication and context-awareness in the setting of ubiquitous computing. CMC is an …

Structural Operational Semantics (SOS) is one of the most natural ways for providing
programming languages with a formal semantics. Results on the meta-theory of SOS …

We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary
process language in the OSOS format such that rewriting of process terms is sound for …

ABSTRACI" We have been investigating communicating processes, where the primitive
computation is synchronous communication be-tween processes. A process is a “black box” …

Should testing preorder was proposed as a liveness-preserving precongruence for a
process algebra except nondeterministic choice operator [22]. However, this precongruence …

Aims Our results show that priorities extend the expressiveness and application area of
operational semantics. However, they also pose many theoretical and practical questions …