Maria Grazia Vigliotti

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

2015

Discovery of anomalous behaviour in temporal networks.

[BibT_eX]

[DOI]

Chris Hankin

Soc. Networks, 2015

On the Analysis of a M/M/1 Queue with Bulk Services.

[BibT_eX]

[DOI]

Gianfranco Balbo

Comput. J., 2015

2014

A fully-abstract semantics of lambda-mu in the pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Workshop on Classical Logic and Computation, 2014

Ranking twitter influence by combining network centrality and influence observables in an evolutionary model.

[BibT_eX]

[DOI]

Donal Stephen Simmie

Chris Hankin

J. Complex Networks, 2014

2012

Product-form approximation of queueing networks with phase-type service.

[BibT_eX]

[DOI]

Giuliano Casale

Peter G. Harrison

SIGMETRICS Perform. Evaluation Rev., 2012

Algorithmic product-form approximations of interacting stochastic models.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2012

An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2012

Operational Semantics for Product-Form Solution.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

2011

Note on a simple type system for non-interference

[BibT_eX]

[DOI]

CoRR, 2011

From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus

[BibT_eX]

[DOI]

Luca Cardelli

CoRR, 2011

2010

A general result for deriving product-form solutions in markovian models.

[BibT_eX]

[DOI]

Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

From Systems to Components: Constructive Methods for Product-Form Solutions.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

On product-form approximations of cooperating stochastic models.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2010

2009

Probabilistic Mobile Ambients.

[BibT_eX]

[DOI]

Marta Z. Kwiatkowska

Gethin Norman

David Parker

Theor. Comput. Sci., 2009

CoBiC: Context-dependent Bioambient Calculus.

[BibT_eX]

[DOI]

Luca Bortolussi

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Response time distributions and network perturbation into product-form.

[BibT_eX]

[DOI]

Peter G. Harrison

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Symmetric electoral systems for ambient calculi.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Modelling Intracellular Fate of FGF Receptors With BioAmbients.

[BibT_eX]

[DOI]

Ikra Khan

John K. Heath

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

BAM: BioAmbient machine.

[BibT_eX]

[DOI]

Vinod A. Muganthan

Andrew Phillips

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Tutorial on separation results in process calculi via leader election problems.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Theor. Comput. Sci., 2007

2006

Leader election in rings of ambient processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Stochastic Ambient Calculus.

[BibT_eX]

[DOI]

Peter G. Harrison

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

2005

Separation Results Via Leader Election Problems.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004

Electoral Systems in Ambient Calculi.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2002

Barbs and Congruences for Safe Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Wide Area Network Computing, 2002

On Reduction Semantics for the Push and Pull Ambitent Calculus.

[BibT_eX]

[DOI]