researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Comput. J.
Home
Index
Info
Issue
Volume
44
, Issue
1
1
--
20
Michael Luck
,
Mark d Inverno
.
A Conceptual Framework for Agent Definition and Development
21
--
30
Giuseppe Anastasi
,
Alberto Bartoli
,
Nicoletta De Francesco
,
Antonella Santone
.
Efficient Verification of a Multicast Protocol for Mobile Computing
31
--
41
Sijing Zhang
,
E. Stewart Lee
,
Alan Burns
.
Determining the Worst-case Synchronous Message Response Time in FDDI Networks
42
--
53
Juha Puustjärvi
.
Workflow Concurrency Control
54
--
66
Jason Crampton
,
George Loizou
,
Greg O Shea
.
A Logic of Access Control