scientific article; zbMATH DE number 1497789

MaRDI QIDQ4499206zbMATH OpenFDO

Authors Eneia Nicolae Todoran

Publication date 5 March 2001

zbMATH Keywords

continuation semantics for concurrency

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Concurrency semantics in continuation-passing style
• Metric semantics for concurrency
• scientific article; zbMATH DE number 826300
• scientific article; zbMATH DE number 4119659
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency

Cites work

• A calculus of communicating systems
• A Theory of Communicating Sequential Processes
• Contractions in comparing concurrency semantics
• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
• Fully abstract denotational models for nonuniform concurrent languages
• Fully abstract models of typed \(\lambda\)-calculi
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3658971 (Why is no real title available?)
• scientific article; zbMATH DE number 3495581 (Why is no real title available?)
• scientific article; zbMATH DE number 1049043 (Why is no real title available?)
• scientific article; zbMATH DE number 826300 (Why is no real title available?)
• Metric semantics for concurrency
• Processes and the denotational semantics of concurrency
• Proving algorithms by tail functions
• Readies and Failures in the Algebra of Communicating Processes
• Solving reflexive domain equations in a category of complete metric spaces
• Truly concurrent constraint programming

Cited in

(3)

• Metric semantics for concurrency
• Concurrency semantics in continuation-passing style
• Continuations for remote objects control

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