Sciweavers

5465 search results - page 21 / 1093
» Assigning Types to Processes
Sort
View
DAGSTUHL
2007
13 years 9 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»
13 years 7 months ago
Types for ambient and process mobility
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...
MSCS
2006
88views more  MSCS 2006»
13 years 7 months ago
Types and typechecking for Communicating Quantum Processes
Simon J. Gay, Rajagopal Nagarajan
SCP
2008
55views more  SCP 2008»
13 years 7 months ago
XPi: A typed process calculus for XML messaging
Lucia Acciai, Michele Boreale