Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Roscoe, A.W."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Authenticating ad hoc networks by comparison of short digests
L.H. Nguyen
,
A.W. Roscoe
Information and Computation
206
(2-4), 2008, pp. 250-271
Nets with tokens which carry data
Ranko Lazić
,
Tom Newcomb
,
Joël Ouaknine
,
A.W. Roscoe
,
James Worrell
Lecture Notes in Computer Science
4546
, 2007, pp. 301-320
The timed failures - Stability model for CSP
G.M. Reed
,
A.W. Roscoe
Theoretical Computer Science
211
(1-2), 1999, pp. 85-127
Fixed points without completeness
M.W. Mislove
,
A.W. Roscoe
,
S.A. Schneider
Theoretical Computer Science
138
(2), 1995, pp. 273-314
The decomposition of a rectangle into rectangles of minimal perimeter
T.Y. Kong
,
David M. Mount
,
A.W. Roscoe
SIAM Journal on Computing
17
, 1988, pp. 1215-1231
A timed model for communicating sequential processes
G.M. Reed
,
A.W. Roscoe
Theoretical Computer Science
58
, 1988, pp. 249-261
The laws of Occam programming
A.W. Roscoe
,
C.A.R. Hoare
Theoretical Computer Science
60
, 1988, pp. 177-229
The pursuit of deadlock freedom
A.W. Roscoe
,
Naiem Dathi
Information and Computation
75
(3), 1987, pp. 289-327
A theory of communicating sequential processes
S.D. Brookes
,
C.A.R. Hoare
,
A.W. Roscoe
Journal of the ACM
31
(3), 1984, pp. 560-599
A theory of communicating sequential processes
S.D. Brookes
,
C.A.R. Hoare
,
A.W. Roscoe
Technical Report (CMU-CS-83-153), 1983