Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Gabriel Ciobanu.

Newcastle AuthorsTitleYearFull text
Professor Gabriel Ciobanu
Professor Maciej Koutny
PerTiMo: A Model of Spatial Migration with Safe Access Permissions2015
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
Strategy based semantics for mobility with time and access permissions2015
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
A Timed Mobility Semantics Based on Rewriting Strategies2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
A Timed Mobility Semantics based on Rewriting Strategies2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Behavioural Equivalences over Migrating Processes with Timers2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Modelling and analysis of biological systems2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
PerTiMo: A Model of Spatial Migration with Safe Access Permissions2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Migration and Interaction with Access Permissions2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Migration and Interaction with Access Permissions2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Mobility in process algebra and Petri nets2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Mobility in Process Algebra and Petri Nets2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi2010
Professor Gabriel Ciobanu
Professor Maciej Koutny
Modelling and Verification of Timed Interaction and Migration2008