Negotiations, a model of concurrency with multi party negotiation as primitive, have been recently introduced in [5,6]. We initiate the study of games for this model. We study coalition problems: can a given coalition of agents force that a negotiation terminates (resp. block the negotiation so that it goes on forever)?; can the coalition force a given outcome of the negotiation? We show that f...

Basic concepts of classical dynamics are analysed in the simple mathematical setting of state transition systems, where both time and space are discrete, and no structure is assumed on the state space besides a binary transition relation. This framework proves useful to the dynamical analysis of computations and biomolecular processes. Here a relational formulation of this framework is presente...

Let A be a non-negative self-adjoint operator in a Hilbert space H and A0 be some densely defined closed restriction of A0, A0 ⊆ A 6= A0. It is of interest to know whether A is the unique non-negative self-adjoint extensions of A0 in H. We give a natural criterion that this is the case and if it fails, we describe all non-negative extensions of A0. The obtained results are applied to investigat...