|
|
1 |
= Stefano Mariani's (favourite) Scientific Papers =
|
|
|
2 |
{{include reference="Environment"/}}
|
|
|
3 |
|
|
|
4 |
All available in the [[Apice Publications Space>>http://apice.unibo.it/xwiki/bin/view/Publications/]]
|
|
|
5 |
|
|
|
6 |
* [[Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems>>http://apice.unibo.it/xwiki/bin/view/Publications/BravettiEntcs194]]
|
|
|
7 |
** 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).
|
|
|
8 |
** 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).
|
|
|
9 |
** In particular, I used it to formally define the (operational) semantics of //uniform primitives//.
|
|
|
10 |
* [[Linear Embedding for a Quantitative Comparison of Language Expressiveness>>http://apice.unibo.it/xwiki/bin/view/Publications/BroPieWik2002]]
|
|
|
11 |
* [[On the Expressiveness of Linda Coordination Primitives>>http://apice.unibo.it/xwiki/bin/view/Publications/LindacoordInco156]]
|
|
|
12 |
* [[Persistent Turing Machines as a Model of Interactive Computation>>http://apice.unibo.it/xwiki/bin/view/Publications/Gol2000]]
|
|
|
13 |
* [[Coordination models and languages: from parallel computing to self-organisation>>http://apice.unibo.it/xwiki/bin/view/Publications/SelforgcoordKer25years]]
|
|
|
14 |
* [[Reactive, Generative, and Stratified Models of Probabilistic Processes>>http://apice.unibo.it/xwiki/bin/view/Publications/VanSmoSte1995]]
|
|
|
15 |
* [[Towards Empirical Computer Science>>http://apice.unibo.it/xwiki/bin/view/Publications/Weg1998]]
|
|
|
16 |
* [[Mathematical Models of Interactive Computing>>http://apice.unibo.it/xwiki/bin/view/Publications/Wegner99MMI]]
|
|
|
17 |
* [[On the Incomparability of Gamma and Linda>>http://apice.unibo.it/xwiki/bin/view/Publications/GammalindaZavattaro98]] |
0000-0001-8921-8150