Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

33

SAS
1992
Springer

favoriteEmaildiscussreport

104views Formal Methods» more SAS 1992»

Partial Evaluation of Interaction Nets

14 years 2 months ago

Partial Evaluation of Interaction Nets

Download repository.readscheme.org

Denis Béchet

Real-time Traffic

Formal Methods | SAS 1992 |

claim paper

Related Content

» An Explicit Framework for Interaction Nets

» Evaluation of Agentbased Interactive Systems Proposal of an Electronic Informer Using Petr...

» The CareNet Display Lessons Learned from an In Home Evaluation of an Ambient Display

» Interactive Cosimulation with Partial Evaluation

» Ludics Nets a game Model of Concurrent Interaction

» Evolving Concurrent Petri Net Models of Epistasis

» Modular Decompilation of LowLevel Code by Partial Evaluation

» From Functional Programs to Interaction Nets via the Rewriting Calculus

» Deterministic graphtheoretic algorithm for detecting modules in biological interaction net...

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	SAS
Authors	Denis Béchet

Comments (0)