18 search results - page 4 / 4 » The Complexity of Model Checking Mobile Ambients |
MMAS
2004
Springer
13 years 11 months ago
2004
Springer
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...
POPL
2008
ACM
14 years 6 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
OTM
2009
Springer
14 years 9 days ago
2009
Springer
The need for semantics preserving integration of complex data has been widely recognized in the healthcare domain. While standards such as Health Level Seven (HL7) have been develo...