scientific article; zbMATH DE number 1231564

zbMath0911.68118MaRDI QIDQ4222882

Stephen Brookes

Publication date: 20 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#brookes

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

idealized CSP

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (3)

A semantics for concurrent separation logic ⋮ Transfer Principles for Reasoning About Concurrent Programs ⋮ A Game Semantics of Idealized CSP

Cites Work

• Full abstraction for a shared-variable parallel language
• A lattice-theoretical fixpoint theorem and its applications
• Monitors
• Communicating sequential processes
• Parametricity and local variables
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: