Fall 2002

From Cyber-Physical Systems Laboratory
Revision as of 18:44, 27 April 2008 by Liangfok (talk | contribs) (New page: === September 4 & 11, 2002 - Gruia-Catalin Roman === <pre> A Notation and Logic for Mobile Computing </pre> Links: [http://www.cse.wustl.edu/mobilab/pubs/fmsd.pdf Paper] <pre> Formal Sp...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

September 4 & 11, 2002 - Gruia-Catalin Roman

A Notation and Logic for Mobile Computing

Links: Paper 

Formal Specification and Design of Mobile Systems

Links: Paper 

Reasoning about Code Mobility in Mobile UNITY

Links: Paper, Slides

September 18, 2002 - Jamie Payton

Mobile Ambients

Links: Paper, Website, Slides


September 25, 2002 - Qingfeng Huang

Maude: Specification and Programming in Rewriting Logic

Links: Paper 

Principles of Mobile Maude

Links: Paper, Slides

October 2 & 9, 2002 - Aaron Stump

An Introduction to the p-Calculus

Links: Paper


October 16, 2002 - Christine Julien

KLAIM: A Kernel Language for Agents Interaction and Mobility

Links: Paper, Slides

October 23 & 30, 2002 - Chien-Liang Fok

The IWIM Model for Coordination for Concurrent Activities

Links: Paper 

A Logical Interface Description Language for Components

Links: Paper, Handout, Slides

Retrieved from "http://wsn.cse.wustl.edu/index.php?title=Fall_2002&oldid=873"