scientific article; zbMATH DE number 2087552

MaRDI QIDQ4738362zbMATH OpenFDO

Authors Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2242605
• Distributed processes and location failures
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Distributed processes and location failures
• scientific article; zbMATH DE number 4084987

Cited in

(3)

• Specification and verification of concurrent programs through refinements
• Towards a structure-aware failure semantics for streaming media communication models
• scientific article; zbMATH DE number 2242605 (Why is no real title available?)

Describes a project that uses

Uses Software

• OCaml

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