84 search results - page 10 / 17 » corr 2009 |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
dtable: An Abstract Model of Conversation Dynamics Journal of Artificial Societies and Social Simulation 13 (4) 2 <http://jasss.soc.surrey.ac.uk/13/4/2.html> Received: 09-Dec...
CORR
2009
Springer
13 years 5 months ago
2009
Springer
on of abstract strategies which is extensional in the sense that a strategy is defined explicitly of derivations of an abstract reduction system. We then move to a more intensional...
CORR
2009
Springer
13 years 5 months ago
2009
Springer
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...
CORR
2009
Springer
13 years 5 months ago
2009
Springer
We consider P systems with a linear membrane structure working on objects over a unary alphabet using sets of rules resembling homomorphisms. Such a restricted variant of P systems...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
traction Problem for PCF Hyland-Ong games model Concrete Representation Compositional Semantics? A Concrete Representation of Observational Equivalence for PCF Martin Churchill, Ji...