scientific article; zbMATH DE number 1953332

MaRDI QIDQ4414820zbMATH OpenFDO

Authors Francisco Heron de Carvalho-Junior, Rafael Dueire Lins, Ricardo Lima

Publication date 27 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2565/25650635.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1830929
• scientific article; zbMATH DE number 43161
• scientific article; zbMATH DE number 3911719
• A polynomial translation of -calculus (FCP) to safe Petri nets
• scientific article; zbMATH DE number 3896316

Cited in

(4)

• A formal, resource consumption-preserving translation of actors to Haskell
• scientific article; zbMATH DE number 1830929 (Why is no real title available?)
• A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
• scientific article; zbMATH DE number 5785597 (Why is no real title available?)

Describes a project that uses

Uses Software

• GHC
• Haskell

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4414820)