Sciweavers

5465 search results - page 21 / 1093
» Assigning Types to Processes
Sort
View
DAGSTUHL
2007
15 years 1 months ago
On the tail decay of M/G/1-type Markov renewal processes
Dario Andrea Bini, Beatrice Meini, Vaidyanathan Ra...
MSCS
2008
93views more  MSCS 2008»
14 years 11 months ago
Types for ambient and process mobility
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...
MSCS
2006
88views more  MSCS 2006»
14 years 11 months ago
Types and typechecking for Communicating Quantum Processes
Simon J. Gay, Rajagopal Nagarajan
SCP
2008
55views more  SCP 2008»
14 years 11 months ago
XPi: A typed process calculus for XML messaging
Lucia Acciai, Michele Boreale