In this section we introduce the syntax and operational semantics of MiKO. MiKO is a distributed higher order instance of TyCO-calculus [5] based on the MIKADO’s membrane model [2, 3], distributing processes over a flat network of domains. The migration of code from one domain to another passes always through the domains’s membranes. The calculus contains special primitives to handle migration ...

Considering operators defined using Structural Operational Semantics (SOS), commutativity axioms are intuitive properties that hold for many of them. Proving this intuition is usually a laborious task, requiring several pages of boring and standard proof. To save this effort, we propose a syntactic SOS format which guarantees commutativity for a set of composition operators.

Benefits gained by a multisource solution in various contexts of application are nowadays obvious. The goal of this interesting approach is both to capture benefits of sources and to minimize their limitations. Usually, each source is defined and modeled over a unique frame composed of the hypotheses to discern. Sources can then be merged by the combination process provided by the theory that e...

We define a back-and-forth translation between Hole Semantics and dominance constraints, two formalisms used in underspecified semantics. There are fundamental differences between the two, but we show that they disappear on practically useful descriptions. Our encoding bridges a gap between two underspecification formalisms, and speeds up the processing of Hole Semantics.

This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study.

Article history: Received 27 January 2008 Revised 23 July 2008 Accepted 5 August 2008 Available online 20 September 2008

I will sketch a possible way of empirical/operational definition of space and time tags of physical events, without logical or operational circularities and with a minimal number of conventional elements. As it turns out, the task is not trivial; and the analysis of the problem leads to a few surprising conclusions.

In this paper we present a semantic study of motion complexes (ie. of a motion verb followed by a spatial preposition). We focus on the spatial and the temporal intrinsic semantic properties of the motion verbs, on the one hand, and of the spatial prepositions, on the other hand. Then we address the problem of combining these basic semantics in order to formally and automatically derive the spa...