{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T06:10:09Z","timestamp":1742019009700,"version":"3.38.0"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2002,8]]},"DOI":"10.1109\/tpds.2002.1028439","type":"journal-article","created":{"date-parts":[[2002,10,18]],"date-time":"2002-10-18T21:39:07Z","timestamp":1034977147000},"page":"828-843","source":"Crossref","is-referenced-by-count":1,"title":["Communications directed by bound types in Linda: presentation and formal model"],"prefix":"10.1109","volume":"13","author":[{"given":"A.","family":"Gibaud","sequence":"first","affiliation":[]},{"given":"P.","family":"Thomin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","first-page":"255","article-title":"Parallel Programming in Linda","volume-title":"Proc. Int\u2019l Conf. Parallel Programming","author":"Gelernter"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/155332.155335"},{"article-title":"The C-Linda Language for Network of Workstations","year":"1992","author":"Matson","key":"ref3"},{"article-title":"Implementing Distributed Linda in Standard ml","year":"1991","author":"Siegel","key":"ref4"},{"volume-title":"JavaSpaces Service Specification","year":"2000","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59450-7_8"},{"article-title":"Tspaces: The Next Wave","volume-title":"Hawaii Int\u2019l Conf. System Sciences","author":"Lehman","key":"ref7"},{"key":"ref8","article-title":"WWW Meets Linda: Linda for Global WWW-Based Transaction Processing Systems","author":"Shoenfielinger","year":"1995","journal-title":"World Wide Web J."},{"volume-title":"How to Write Parallel Programs: A first Course.","year":"1990","author":"Carriero","key":"ref9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/2.44903"},{"article-title":"Using Linda as the Basis of an Operating System Microkernel","year":"1993","author":"Pinakis","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(96)00045-1"},{"article-title":"Shared Memories, Buses, and LansLinda Implementations Across the Spectrum of Connectivity","year":"1993","author":"Leichter","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51285-3_30"},{"article-title":"Melinda: Linda with Multiple Tuple Spaces","year":"1990","author":"Hupfer","key":"ref15"},{"volume-title":"Paradise User\u2019s Guide and Reference Manual","year":"2000","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00178-X"},{"key":"ref18","first-page":"43","article-title":"Linda Typ\u00e9: Une Extension du Mod\u00e8le Linda Pour Environnement Multiapplicatif. [Typed Linda: An Extension of the Linda Model for Multiapplicative Environment]","volume":"19","author":"Gibaud","year":"1999","journal-title":"Technique et Science Informatiques (TSI)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/reldis.1994.336905"},{"article-title":"Supporting Fault Tolerant Parallel Programming in Linda","year":"1993","author":"Bakken","key":"ref20"},{"issue":"4","key":"ref21","first-page":"365","article-title":"Linda Typ\u00e9 : Une Approche Plus S\u00fbre de la Programmation Distribu\u00e9e Avec Linda. [Typed Linda: A Safer Approach to Distributed Programming with Linda]","volume":"8","author":"Gibaud","year":"1996","journal-title":"Calculateurs Parall\u00e8les"},{"article-title":"A Structural Approach to Operational Semantics","year":"1981","author":"Plotkin","key":"ref22"},{"article-title":"Enhanced Operational Semantics for Concurrency","year":"1996","author":"Priami","key":"ref23"},{"article-title":"The Semantics of a Parallel Language Based on a Shared Data Space","year":"1992","author":"Ciancarini","key":"ref24"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/71\/22093\/01028439.pdf?arnumber=1028439","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T05:28:05Z","timestamp":1742016485000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1028439\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":24,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2002,8]]}},"URL":"https:\/\/doi.org\/10.1109\/tpds.2002.1028439","relation":{},"ISSN":["1045-9219"],"issn-type":[{"type":"print","value":"1045-9219"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}