Mobile Calculi based on Domains

Re-classification and Multi-threading: Fickle MT

F. Damiani and M. {Dezani-Ciancaglini} and P. Giannini


In this paper we consider re-classification in the presence of multi-threading. To this aim we define a multi-threaded extension of the language Fickle, that we call FickleMT. We define an operational semantics and a type and effect system for the language. Each method signature carries the information on the possible effects of the method execution. The type and effect system statically checks this information. The operational semantics uses this information in order to delay the execution of some threads when this could cause messageNotUnderstood errors. We prove that in the execution of a well-typed expression such delays do not produce deadlock.

  author = \{F. Damiani and M. {Dezani-Ciancaglini} and P. Giannini},
  title = \{Re-classification and Multi-threading: Fickle MT},
  booktitle = \{SAC-2004},
  year = \{2004}, 
  publisher = \{ACM}, 
  url = \{}

About this site. Last modified: Wed Sep 20 22:08:33 CEST 2017