scientific article; zbMATH DE number 177855

MaRDI QIDQ4038734zbMATH OpenFDO

Authors Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra

Publication date 18 May 1993

zbMATH Keywords

abstractionconcurrent programmingfunctional programmingfunctional-concurrent languagesobservationwindow-parametrised equivalence

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• From operational to denotational semantics
• Semantics for core Concurrent ML using computation types
• scientific article; zbMATH DE number 92601
• A theory of weak bisimulation for Core CML
• Observational semantics for a concurrent lambda calculus with reference cells and futures

Cited in

(15)

• A behavioural theory of first-order CML
• Plain CHOCS. A second generation calculus for higher order processes
• Names of the -calculus agents handled locally
• Assigning types to processes
• Linear forwarders
• The fork calculus
• Higher-order processes and their models
• Causality for mobile processes
• From a concurrent λ-calculus to the π-calculus
• Graph-grammar semantics of a higher-order programming language for distributed systems
• Constraints for polymorphic behaviours of concurrent ML
• Reasoning about higher-order processes
• Static and dynamic processor allocation for higher-order concurrent languages
• From CML to its process algebra
• PiDuce- A project for experimenting web services technologies

Describes a project that uses

Uses Software

• Facile

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