Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Rewriting, and their A Causal Type System for Ambient
 

Summary: Useful
Logics,
Types,
Rewriting, and their
Automation
A Causal Type System for Ambient
Movements
Torben Amtoft
Church Project
Boston University/Heriot-Watt University
A Causal Type System for Ambient Movements p.1/25
Useful
Logics,
Types,
Rewriting, and their
Automation
The Ambient Calculus
Proposed by Cardelli & Gordon to model notions of
Location: ambients are nested, forming a dynamic tree
structure

  

Source: Amtoft, Torben - Department of Computing and Information Sciences, Kansas State University

 

Collections: Computer Technologies and Information Sciences