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
[1]
Hilfe
Suche: Author="Milner, Robin"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Pure bigraphs: Structure and dynamics
Robin Milner
Information and Computation
204
(1), 2006, pp. 60-122
Towards a broader theory of mobile processes
Robin Milner
Proceedings of the 18th World Computer Congress and TC1 3rd International Conference on Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatics, IFIP TCS'2004 (Toulouse, France, August 22-27, 2004)
, 2004, pp. 19-19
The flux of interaction
Robin Milner
Lecture Notes in Computer Science
2075
, 2001, pp. 19-22
Graphical calculi for interaction
Robin Milner
Lecture Notes in Computer Science
1256
, 1997, pp. 1-1
Calculi for interaction
Robin Milner
Acta Informatica
33
(8), 1996, pp. 707-737
Control structures
Alex Mifsud
,
Robin Milner
,
John Power
Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, June 26-29, 1995)
, 1995, pp. 188-198
Unique decomposition of processes
Robin Milner
,
Faron Moller
Theoretical Computer Science
107
, 1993, pp. 357-363
Modal logics for mobile processes
Robin Milner
,
Joachim Parrow
,
David Walker
Theoretical Computer Science
114
(1), 1993, pp. 149-171
An action structure for synchronous
\pi
-calculus
Robin Milner
Proceedings of the 9th International Conference on Fundamentals of Computation Theory. FCT '93 (Szeged, Hungary, August 1993)
LNCS 710
, 1993, pp. 87-105
Action calculi, or syntactic action structures
Robin Milner
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(GdaĆsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 105-121
A compositional protocol verification using relativized bisimulation
Kim G. Larsen
,
Robin Milner
Information and Computation
99
(1), 1992, July, pp. 80-108
A calculus of mobile processes, I
Robin Milner
,
Joachim Parrow
,
David Walker
Information and Computation
100
(1), 1992, September, pp. 1-40
A calculus of mobile processes, II
Robin Milner
,
Joachim Parrow
,
David Walker
Information and Computation
100
(1), 1992, September, pp. 41-77
Barbed dissimulation
Robin Milner
,
Davide Sangiorgi
Lecture Notes in Computer Science
623
, 1992, pp. 685-695
Co-induction in relational semantics
Robin Milner
,
Mads Tofte
Theoretical Computer Science
87
, 1991, pp. 209-220
Functions as processes
Robin Milner
Lecture Notes in Computer Science
443
, 1990, pp. 167-180
Interpreting one concurrent calculus in another
Robin Milner
Theoretical Computer Science
75
, 1990, pp. 3-13
A complete axiomatization for observational congruence of finite-state behaviours
Robin Milner
Information and Computation
81
(2), 1989, pp. 227-247
LCF: A way of doing proofs with a machine
Robin Milner
Lecture Notes in Computer Science
74
, 1979, pp. 146-159
Synthesis of communicating behaviour
Robin Milner
Lecture Notes in Computer Science
64
, 1978, pp. 71-83