Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Professor Gabriel Ciobanu.
Newcastle Authors
Title
Year
Full text
Professor Gabriel Ciobanu
Professor Maciej Koutny
PerTiMo: A Model of Spatial Migration with Safe Access Permissions
2015
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
Strategy based semantics for mobility with time and access permissions
2015
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
A Timed Mobility Semantics Based on Rewriting Strategies
2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
A Timed Mobility Semantics based on Rewriting Strategies
2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Behavioural Equivalences over Migrating Processes with Timers
2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Modelling and analysis of biological systems
2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
PerTiMo: A Model of Spatial Migration with Safe Access Permissions
2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Migration and Interaction with Access Permissions
2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Migration and Interaction with Access Permissions
2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Mobility in process algebra and Petri nets
2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Mobility in Process Algebra and Petri Nets
2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi
2010
Professor Gabriel Ciobanu
Professor Maciej Koutny
Modelling and Verification of Timed Interaction and Migration
2008