The following pages link to Angelo Troina (Q418835):
Displayed 26 items.
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Reachability results for timed automata with unbounded data structures (Q707597) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Design and verification of long-running transactions in a timed framework (Q955710) (← links)
- (Q2849849) (← links)
- A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday (Q3000272) (← links)
- A METHODOLOGY FOR THE STOCHASTIC MODELING AND SIMULATION OF SYMPATRIC SPECIATION BY SEXUAL SELECTION (Q3186134) (← links)
- A Probabilistic Applied Pi–Calculus (Q3498438) (← links)
- Bisimulation Congruences in the Calculus of Looping Sequences (Q3525142) (← links)
- Simulation and Bisimulation for Probabilistic Timed Automata (Q3588096) (← links)
- Modelling Ecological Systems with the Calculus of Wrapped Compartments (Q4913852) (← links)
- (Q4986662) (← links)
- Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata (Q4989486) (← links)
- (Q5146651) (← links)
- (Q5151035) (← links)
- Type Disciplines for Analysing Biologically Relevant Properties (Q5179427) (← links)
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways (Q5190983) (← links)
- Stochastic Bigraphs (Q5415632) (← links)
- The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)
- Information and Communications Security (Q5464793) (← links)
- Global Computing (Q5464840) (← links)
- (Q5472932) (← links)
- (Q5486047) (← links)