Fall 2002
From Cyber-Physical Systems Laboratory
Jump to navigationJump to searchContents
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
September 18, 2002 - Jamie Payton
Mobile Ambients
September 25, 2002 - Qingfeng Huang
Maude: Specification and Programming in Rewriting Logic
Links: Paper
Principles of Mobile Maude
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
October 23 & 30, 2002 - Chien-Liang Fok
The IWIM Model for Coordination for Concurrent Activities
Links: Paper
A Logical Interface Description Language for Components
