Full Abstraction for Linda

DOI10.1007/978-3-540-78739-6_6MaRDI QIDQ5458387zbMATH OpenOpenAlexFDO

Authors Cinzia Di Giusto, Maurizio Gabbrielli

Publication date 11 April 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78739-6_6

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Full abstraction for a shared-variable parallel language
• Full abstraction for HOPLA.
• A Fully Abstract Trace Semantics for General References
• scientific article; zbMATH DE number 1231586
• scientific article; zbMATH DE number 1231450

Cites work

• A process algebraic view of Linda coordination primitives
• Full abstraction for a shared-variable parallel language
• Full abstraction for polymorphic \(\pi \)-calculus
• Fully abstract denotational models for nonuniform concurrent languages
• Generative communication in Linda
• scientific article; zbMATH DE number 1638652 (Why is no real title available?)
• scientific article; zbMATH DE number 1231686 (Why is no real title available?)
• scientific article; zbMATH DE number 2182596 (Why is no real title available?)
• On bisimulations for the asynchronous -calculus
• Programming Languages and Systems
• Trace and testing equivalence on asynchronous processes

Cited in

(4)

• Full abstraction at package boundaries of object-oriented languages
• Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching
• scientific article; zbMATH DE number 1231586 (Why is no real title available?)
• Full abstraction for expressiveness: history, myths and facts

This page was built for publication: Full Abstraction for Linda

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458387)