A Rewriting Framework for Interacting Cyber-Physical Agents.

Benjamin Lion, Farhad Arbab, Carolyn L. Talcott

Browse the full ISoLA paper archive.