240 search results - page 5 / 48 » A Typed Calculus of Synchronous Processes |
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
EMNLP
2011
12 years 7 months ago
2011
LISP
2008
13 years 7 months ago
2008
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
ESOP
2001
Springer
14 years 10 days ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
TCS
2008
13 years 7 months ago
2008
We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...