Turing Memorial Lecture.
- Published in:
- Computer Journal, 2001, v. 44, n. 2, p. 67, doi. 10.1093/comjnl/44.2.67
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2001 AND VI 44 AND IP 2
Results: 7
1
2
A Logic of Access Control.
- Published in:
- Computer Journal, 2001, v. 44, n. 2, p. 137, doi. 10.1093/comjnl/44.2.137
- By:
- Publication type:
- Article
3
Liveness for Synchronized Choice Petri Nets.
- Published in:
- Computer Journal, 2001, v. 44, n. 2, p. 124, doi. 10.1093/comjnl/44.2.124
- By:
- Publication type:
- Article
4
Finite Approximations for Model Checking Non-finite-state Processes.
- Published in:
- Computer Journal, 2001, v. 44, n. 2, p. 109, doi. 10.1093/comjnl/44.2.109
- By:
- Publication type:
- Article
5
An Algorithm for the 2-Median Problem on Two-Dimensional Meshes.
- Published in:
- Computer Journal, 2001, v. 44, n. 2, p. 101, doi. 10.1093/comjnl/44.2.101
- By:
- Publication type:
- Article
6
Consistent Checkpointing for Transaction Systems.
- Published in:
- Computer Journal, 2001, v. 44, n. 2, p. 92, doi. 10.1093/comjnl/44.2.92
- By:
- Publication type:
- Article
7
Distributed Location Databases for Tracking Highly Mobile Objects.
- Published in:
- Computer Journal, 2001, v. 44, n. 2, p. 75, doi. 10.1093/comjnl/44.2.75
- By:
- Publication type:
- Article