scientific article; zbMATH DE number 1231450

zbMath0910.68125MaRDI QIDQ4222750

Susan Older, Stephen Brookes

Publication date: 10 December 1998

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

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

zbMATH Keywords

denotational semanticsstrong fairness

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Unnamed Item ⋮ Strong fairness and full abstraction for communicating processes

Cites Work

• Communicating processes with value-passing and assignments
• An algebraic theory of fair asynchronous communicating processes
• A calculus of communicating systems
• Fully abstract models of typed \(\lambda\)-calculi
• Testing equivalences for processes
• Full abstraction for a shared-variable parallel language
• A Theory of Communicating Sequential Processes
• Acceptance trees
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item