Search filters

List of works by Vashti Galpin

CARMA: Collective Adaptive Resource-sharing Markovian Agents

scientific article published on 28 September 2015

Formal methods for checking the consistency of biological models

scientific article published on 01 January 2012

Hybrid Semantics for PEPA

Rosen's (M,R) system in process algebra

scientific article

Tracking and viewing modifications in digital calibration certificates

scientific article published in 2023

Women in computing around the world

Paulina is supported by:

About Paulina

Help