Collection's Items (Sorted by Title in Ascending order): 141 to 160 of 241
Issue Date | Title | Author(s) |
1-Jan-2000 | Modelling and analysis of the bounded-retransmission protocol: experience with discrete time in the LTSA | Giannakopoulou, D |
1-Jan-1999 | Modelling and analysis of workflow processes | Karamanolis, C; Giannakopoulou, G; Magee, J; Wheater, S |
Oct-2003 | Modelling dynamic web data | Gardner, P; Maffeis, S |
1-Jan-2016 | Modular termination veri cation for non-blocking concurrency (extended version) | Da Rocha Pinto, PM; Dinsdale-Young, T; Gardner, P; Sutherland, J |
1-Jan-2013 | Monitoring networks through multiparty session types | Bocchi, L; Chen, T-C; Demangeon, R; Honda, K; Yoshida, N |
1-Jan-2007 | Multiparty asynchronous session types | Honda, K; Yoshida, N; Carbone, M |
1-Jan-2013 | Multiparty compatibility in communicating automata: characterisation and synthesis of global session types | Denielou, P-M; Yoshida, N |
1-Jan-2014 | Multiparty session nets | Fossati, L; Hu, R; Yoshida, N |
1-Jan-2009 | Multiparty symmetric sum types | Yoshida, N; Nielsen, L; Honda, J |
20-Jun-2004 | Natural algorithms for optimisation problems final year project report | Gaertner, D |
1-Jan-2005 | Negotiating socially optimal allocations of resources: an overview | Endriss, U; Maudet, N; Sadri, F; Toni, F |
1-Jan-2002 | Network TraÆc behaviour in switched ethernet systems | Field, T; Harder, U; Harrison, P |
2-Oct-2002 | Nimble: a hybrid abductive-inductive learning algorithm | Ray, O |
1-Jan-2010 | Non-elementary speed up for model checking synchronous perfect recall | Cohen, M; Lomuscio, A |
1-Jan-2002 | Noninterference proofs through flow analysis | Honda, K; Yoshida, N |
1-Jan-2000 | Normalisation, approximation and semantics for typeable combinator systems | Van Bakel,S.; Fernndez,M. |
1-Jan-2004 | Novel intelligent wavelet filtering of embolic signals from TCD ultrasound | Marvasti, S; Gillies, D; Markus, HS |
1-Jan-2010 | Object capabilities and isolation of untrusted web applications | Maffeis, S; Mitchell, JC; Taly, A |
1-Jan-2010 | On asynchronous session semantics | Yoshida, N; Kouzapas, D; Hu, R; Honda, K |
25-Mar-1996 | On compromising updates in labelled databases | Dargam, FCC |
Collection's Items (Sorted by Title in Ascending order): 141 to 160 of 241