Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 8.


Ho, Hsi-Ming, Zhou, Ruoyu and Jones, Timothy M (2020) Timed hyperproperties. Information and Computation. a104639. ISSN 0890-5401

Charlton, Nathaniel and Reus, Bernhard (2013) Specification patterns for reasoning about recursion through the store. Information and Computation, 231. pp. 167-203. ISSN 0890-5401

Chlebík, M and Chlebíková, J (2008) Approximation hardness of dominating set problems in bounded degree graphs. Information and Computation, 206 (11). pp. 1264-1275. ISSN 0890-5401

Bugliesi, Michele, Crafa, Silvia, Merro, Massimo and Sassone, Vladimiro (2005) Communication interference in mobile boxed ambients. Information and Computation, 202 (1). pp. 39-86. ISSN 0890-5401

Mackie, Ian and Pinto, Jorge Sousa (2002) Encoding Linear Logic with Interaction Combinators. Information and Computation, 176 (2). pp. 153-186. ISSN 0960-1295

Yoshida, Nobuko and Hennessy, Matthew (2002) Assigning types to processes. Information and Computation, 174 (2). pp. 143-179. ISSN 0890-5401

Hennessy, Matthew and Riely, James (2002) Resource access control in systems of mobile agents. Information and Computation, 173 (1). pp. 82-120. ISSN 0890-5401

Bruni, Roberto, Meseguer, José, Montanari, Ugo and Sassone, Vladimiro (2001) Functorial Models for Petri Nets. Information and Computation, 170 (2). pp. 207-236. ISSN 0890-5401

This list was generated on Thu May 13 23:32:49 2021 BST.