Sciweavers

290 search results - page 8 / 58
» entcs 2006
Sort
View
ENTCS
2006
97views more  ENTCS 2006»
15 years 14 days ago
A Type-Safe Embedding of XDuce into ML
Martin Sulzmann, Kenny Zhuo Ming Lu
ENTCS
2006
116views more  ENTCS 2006»
15 years 14 days ago
Generic Pickling and Minimization
Guido Tack, Leif Kornstaedt, Gert Smolka
ENTCS
2006
131views more  ENTCS 2006»
15 years 14 days ago
A Coalgebraic Representation of Reduction by Cone of Influence
Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki
49
Voted
ENTCS
2006
89views more  ENTCS 2006»
15 years 14 days ago
Soft Constraints for Security
Giampaolo Bella, Stefano Bistarelli, Simon N. Fole...
ENTCS
2006
98views more  ENTCS 2006»
15 years 14 days ago
A Petri Net Semantics of a Simple Process Algebra for Mobility
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny