An abstract machine for the Kell calculus (2005)
by
Alan Schmitt
,
Jean-Bernard Stefani
| Venue: | IN 7TH IFIP INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR OBJECT-BASED DISTRIBUTED SYSTEMS (FMOODS |
| Citations: | 7 - 0 self |
Document Versions
| An abstract machine for the Kell calculus –Alan Schmitt, Jean-Bernard Stefani — 2005 — IN 7TH IFIP INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR OBJECT-BASED DISTRIBUTED SYSTEMS (FMOODS |
