# Stefano Mariani's (favourite) Scientific Papers

# Stefano Mariani's (favourite) Scientific Papers

# Environment

All available in the Apice Publications Space

- 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*.

- Introduces an algebraic operator to
- 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