scientific article; zbMATH DE number 2089394

zbMATH Open1049.68754MaRDI QIDQ3046754FDOQ3046754

Authors: Nick Benton, Luca Cardelli, Cédric Fournet 

Publication date: 12 August 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3967903
• Concurrent C++: Concurrent programming with class(es)
• Abstract State Machines 2004. Advances in Theory and Practice
• Formal specification and verification of the C\(\#\) thread model
• An extension of the language C for concurrent programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (4)

• MOMI: a calculus for mobile mixins
• Chemical foundations of distributed aspects
• Inheritance in the join calculus.
• simpA: an agent-oriented approach for programming concurrent applications on top of Java

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 Q3046754)