#### Filter Results:

- Full text PDF available (29)

#### Publication Year

2003

2017

- This year (0)
- Last 5 years (6)
- Last 10 years (34)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
- Fundam. Inform.
- 2005

The paper presents the Calculus of Looping Sequences (CLS) s uitable to describe microbiological systems and their evolution. The terms of the cal culus are constructed by basic constituent elements… (More)

- Jean Krivine, Robin Milner, Angelo Troina
- Electr. Notes Theor. Comput. Sci.
- 2008

In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we prove that the two… (More)

The Calculus of Wrapped Compartments (CWC) is a variant of the Calculus of Looping Sequences (CLS). While keeping the same expressiveness, CWC strongly simplifies the development of automatic tools… (More)

- Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
- Formal Aspects of Computing
- 2006

We develop a model of parametric probabilistic transition Systems (PPTSs), where probabilities associated with transitions may be parameters. We show how to find instances of the parameters that… (More)

We propose an extension of the Applied Pi–calculus by introducing nondeterministic and probabilistic choice operators. The semantics of the resulting model, in which probability and nondeterminism… (More)

- Mario Coppo, Ferruccio Damiani, +4 authors Angelo Troina
- Theor. Comput. Sci.
- 2012

The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of Ordinary Differential Equations (ODEs). Alternative approaches based on formal calculi,… (More)

The paper presents the Stochastic Calculus of Looping Sequences (Stochastic CLS) suitable to describe microbiological systems and their evolution. The terms of the calculus are constructed by basic… (More)

The calculus of looping sequences is a formalism for describ ing the evolution of biological systems by means of term rewriting rules. We enrich this calculus wit h a type discipline to guarantee the… (More)

- Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
- Sci. Comput. Program.
- 2008

Long–running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub–tasks, and may require to be completed before a deadline. These transactions are not… (More)

- Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
- First International Conference onSoftware…
- 2003

We are interested in describing timed systems that exhibit probabilistic behaviors. To this purpose, we define a model of probabilistic timed automata and give a concept of weak bisimulation together… (More)