Sciweavers

1724 search results - page 30 / 345
» Models for Concurrency
Sort
View
CONSTRAINTS
2008
114views more  CONSTRAINTS 2008»
13 years 7 months ago
Modeling Biological Systems in Stochastic Concurrent Constraint Programming
Luca Bortolussi, Alberto Policriti
TOPLAS
2008
77views more  TOPLAS 2008»
13 years 7 months ago
A programming model for concurrent object-oriented programs
Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Ru...
TCC
2010
Springer
119views Cryptology» more  TCC 2010»
13 years 5 months ago
Eye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model
Rafael Pass, Wei-Lung Dustin Tseng, Muthuramakrish...