Stefano Mariani's (favourite) Scientific Papers

Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
- Introduces an algebraic operator to partially close an open system, equipping a process' action with a handle which has the goal to enable quantitative properties definition based on the current state of the environment (and on associated action too).
- I interpreted it in the context of Linda systems, to give the idea of a snapshot taken from the state space (that is the Linda tuple space), which freezes it enabling the computation of some application-specific quantitative properties (e.g. such counting tuples).
- In particular, I used it to formally define the (operational) semantics of uniform primitives.
Linear Embedding for a Quantitative Comparison of Language Expressiveness
On the Expressiveness of Linda Coordination Primitives
Persistent Turing Machines as a Model of Interactive Computation
Coordination models and languages: from parallel computing to self-organisation
Reactive, Generative, and Stratified Models of Probabilistic Processes
Towards Empirical Computer Science
Mathematical Models of Interactive Computing
On the Incomparability of Gamma and Linda