Journal: Comput. J.

Volume 44, Issue 1

1 -- 20Michael Luck, Mark d Inverno. A Conceptual Framework for Agent Definition and Development
21 -- 30Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone. Efficient Verification of a Multicast Protocol for Mobile Computing
31 -- 41Sijing Zhang, E. Stewart Lee, Alan Burns. Determining the Worst-case Synchronous Message Response Time in FDDI Networks
42 -- 53Juha Puustjärvi. Workflow Concurrency Control
54 -- 66Jason Crampton, George Loizou, Greg O Shea. A Logic of Access Control