|
Journals in DBLP
Comput. J. 2001, volume: 44, number: 1
- Michael Luck, Mark d'Inverno
A Conceptual Framework for Agent Definition and Development. [Citation Graph (0, 0)][DBLP] Comput. J., 2001, v:44, n:1, pp:1-20 [Journal]
- Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone
Efficient Verification of a Multicast Protocol for Mobile Computing. [Citation Graph (0, 0)][DBLP] Comput. J., 2001, v:44, n:1, pp:21-30 [Journal]
- Sijing Zhang, E. Stewart Lee, Alan Burns
Determining the Worst-case Synchronous Message Response Time in FDDI Networks. [Citation Graph (0, 0)][DBLP] Comput. J., 2001, v:44, n:1, pp:31-41 [Journal]
- Juha Puustjärvi
Workflow Concurrency Control. [Citation Graph (0, 0)][DBLP] Comput. J., 2001, v:44, n:1, pp:42-53 [Journal]
- Jason Crampton, George Loizou, Greg O'Shea
A Logic of Access Control. [Citation Graph (0, 0)][DBLP] Comput. J., 2001, v:44, n:1, pp:54-66 [Journal]
|