andrea-bracciali documents

On Symbolic Semantics for Name-decorated Contexts
Documents On Symbolic Semantics for Name-decorated Contexts
A formal approach to component adaptation
Documents A formal approach to component adaptation
Synapses as stochastic concurrent systems
Documents Synapses as stochastic concurrent systems
A framework for specifying and verifying the behaviour of open systems
Documents A framework for specifying and verifying the behaviour of open systems
Stochastic models for the in silico simulation of synaptic processes
Documents Stochastic models for the in silico simulation of synaptic processes
102 2nd Railway Technology (2014) Investigations in the Urgent Phase
Documents 102 2nd Railway Technology (2014) Investigations in the Urgent Phase
089 CC2011 Crete (2011) Rail Straightness Control in Service
Documents 089 CC2011 Crete (2011) Rail Straightness Control in Service