Some Recent Talks
Towards a Testing Theory for Probabilistic CSP
Given at Department of Computer Science , Imperial
College, June 2007.
slides
A variation on tis talk was previously given at
Dependable Systems and Software Engineering Research Group , University of Southampton, April 2007.
Remarks on Testing Probabilistic Processes
Given at
18th Nordic Workshop on Programming Theory Reykjavik, October 2006.
slides
Also given at
Symposium for GordonPlotkin Edinburgh, September 2006.
The associated
paper.
A Theory of System Fault Tolerance
Given at
MFCSIT'06 , Cork, August 2006.
slides
Assigning types to processes
Given at
NICTA , Sydney December 2005.
slides
The Picalculus: an introduction
Given at
NICTA Formal Methods Program: annual workshop , Sydney November 2005.
slides
RSISE Logic Summer School December 2005
Towards a calculus for nominal mobile agents
Given at
Symposium on Trustworthy Global Computing , Edinburgh, April 2005.
slides
A Theory of System Behaviour in the Presence of Node and Link Failures
Given at
Foundations of Global Computing, Dagstuhl workshop Germany, February 2005.
Also at
Dipartimento di Sistemi e Informatica, Florence, Italy, February 2005.
slides
The associated technical report
csr2005:01.
An associated
extended abstract.
Context-awareness: Models and analysis
Given at
2nd UK-UbiNet Workshop:
Security, trust, privacy and theory for ubiquitous computing , Cambridge UK, May 2004.
slides (in pdf)
Bertinoro Spring School - March 2004
safeDpi: using types to control mobile code
Given at
PPS, University of Paris France, December 2003.
Also at
Mimosa Project , SophiaAntipolis, France, January 2004.
Also at
International Workshop on Global Computing , Trento, Italy, March 2004, and various
other places.
abstract
slides
The
latest version of the associated paper.
The Security Picalculus
and Non-interference through Typing
Given at
MFPS 2003 ,
Montreal, Canada, March 2003.
Also at
MFCSIT2002 , Galway, Ireland, July 2002.
Also at Mikado project meeting, Firenze December 2002.
Also at University of Surrey, April 2001 and
INRIA Sophia-Antipolis, November 2000.
Abstract
slides (in pdf)
The
latest version of the associated paper.
Behavioural Equivalences for Distributed Agents
Given at
F-WAN: Foundations of Wide Area Network Computing , Malaga, Spain, July 2002.
abstract
slides (in postscript)
The associated technical report
cs2002::01
Typed behavioural equivalences in the Picalculus
Given at
Computing: The Australasian Theory Symposium CATS 2002 ,
Melbourne, Australia, 2002.
Also at University of Cambridge, October 2001.
abstract
slides (in postscript)
Associated technical report, csr2001:02, has been superseded by a version submitted
for publication:
latest version
Extended abstract
Located Process Calculi: An Introduction
Given at 1st
International School on Formal Methods for the Design of Computer,
Communication and Software Systems:
Process Algebras, Bertinoro, Italy, July 2001.
slides (in postscript)
Information Flow vs Resource Access in the asynchronous
Pi-calculus
Given at University of Leicester, May 2000 and Queen Mary College
London, June 2000.
An extended abstract (ps,
pdf)
has been presented at
the conference
ICALP2000.
Abstract
slides (in postscript)
Associated technical
report
Assigning Types to Processes
Given at CONFER2 Workshop, Paris, November 1999.
An extended abstract (ps,
pdf)
has been presented at
the conference
LICS2000.
Abstract
slides (in postscript)
Associated technical
report
The Security Pi-calculus
Given at FCT99, Iasi, Romania, August 1999.
Also at University of Tulane, November 1999.
Abstract
slides (in postscript)
Proof systems for message-passing process calculi
Given at IFM99, York, June 1999.
Abstract
slides (in postscript)
The PiCalculus: A Formal Language for Distributed Systems
Given at Trinity College Dublin, May 1999.
Abstract
slides (in postscript)
Secure Typing of Mobile Agents in Open Systems
Given at MFPSXV, New Orleans, April 1999.
Also at WDS, Iasi, Romania, September 1999.
Abstract
slides (in postscript)
Type-Safe Execution of Mobile Agents in
Anonymous Networks
Given at IIT, Delhi December 28th 1998.
Abstract
slides (in postscript)
A Formal Calculus for Distributed Agents
A min-course given at BRICS,
University of Arhus,
November 1998.
Abstract
slides -topic 1
slides -topic 2
slides -topic 3
slides -topic 4
(in postscript)
A Survey Of Location Calculi
Invited Talk given to the EXPRESS'98, the
5th International Workshop on Expressivity,
September 7 1998 in Nice, France.
Abstract
slides (in postscript)
Top of page
back to mh homepage
Last modified: Thu Sep 28 11:10:46 BST 2006