{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:08Z","timestamp":1748071568285},"reference-count":54,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":5160,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1999,6]]},"DOI":"10.1016\/s0167-6423(98)00021-5","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T23:52:44Z","timestamp":1051141964000},"page":"79-140","source":"Crossref","is-referenced-by-count":6,"title":["A refinement calculus for tuple spaces"],"prefix":"10.1016","volume":"34","author":[{"given":"Laura","family":"Semini","sequence":"first","affiliation":[]},{"given":"Carlo","family":"Montangero","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(98)00021-5_BIB1","series-title":"Proc. Stepwise Refinement of Distributed Systems","first-page":"1","article-title":"Composing specifications","volume":"Vol. 430","author":"Abadi","year":"1989"},{"issue":"4","key":"10.1016\/S0167-6423(98)00021-5_BIB2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","article-title":"Defining liveness","volume":"21","author":"Alpern","year":"1985","journal-title":"Inform. Process Lett."},{"key":"10.1016\/S0167-6423(98)00021-5_BIB3","series-title":"Proc. ACM SIGSOFT 90, 4th Symp. on Software Development Environments","first-page":"183","article-title":"Software process enactment in Oikos","author":"Ambriola","year":"1990"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB4","series-title":"Proc. Joint Conf. on Declarative Programming GULP-PRODE'94","article-title":"Eta \u2014 everything buT assignment","author":"Ambriola","year":"1994"},{"issue":"2\/3","key":"10.1016\/S0167-6423(98)00021-5_BIB5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0096-0551(96)00008-2","article-title":"A proposal to merge object orientation, logic programming, and multiple tuple spaces","volume":"22","author":"Ambriola","year":"1996","journal-title":"Comput. Languages"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB6","series-title":"Technical Report 19-93","article-title":"control specification in tuple space based languages","author":"Ambriola","year":"1993"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB7","series-title":"Proc. 7th Internat. Conf. on Logic Programming","first-page":"495","article-title":"Linear objects: logical processes with built-in inheritance","author":"Andreoli","year":"1990"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB8","series-title":"Verification of Sequential and Concurrent Programs","author":"Apt","year":"1991"},{"issue":"1","key":"10.1016\/S0167-6423(98)00021-5_BIB9","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1002\/cpe.4330050103","article-title":"An overview of manifold and its implementation","volume":"5","author":"Arbab","year":"1993","journal-title":"Concurrency: Practice Experience"},{"issue":"4","key":"10.1016\/S0167-6423(98)00021-5_BIB10","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/48022.48023","article-title":"Distributed cooperation with action systems","volume":"10","author":"Back","year":"1988","journal-title":"ACM Trans. Programm. Languages Systems"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB11","series-title":"Proc. Stepwise Refinement of Distributed Systems","first-page":"42","article-title":"Refinement calculus, Part I: sequential nondeterministic programs","volume":"Vol. 430","author":"Back","year":"1989"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB12","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","article-title":"The GAMMA model and its discipline of programming","volume":"15","author":"Ban\u00e2tre","year":"1990","journal-title":"Science of Computer Programming"},{"issue":"1","key":"10.1016\/S0167-6423(98)00021-5_BIB13","first-page":"55","article-title":"Programming by multiset transformation","volume":"16","author":"Banatre","year":"1993","journal-title":"Commun. ACM"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB14","series-title":"Proc. 10th Internat. Conf. on Logic Programming","first-page":"299","article-title":"Multi-prolog: definition, operational semantics and implementation","author":"De Bosschere","year":"1993"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB15","series-title":"Proc. Coordination Languages and Models, 1st Int. Conf., COORDINATION 96","first-page":"142","article-title":"\u03bc2 log: towards remote coordination","volume":"Vol. 1061","author":"De Bosschere","year":"1996"},{"issue":"1","key":"10.1016\/S0167-6423(98)00021-5_BIB16","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","article-title":"The concurrent language shared prolog","volume":"13","author":"Brogi","year":"1991","journal-title":"ACM Trans. Programm. Languages Systems"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB17","series-title":"Proc. Stepwise Refinement of Distributed Systems","first-page":"153","article-title":"Functional specification of time sensitive communicating systems","volume":"Vol. 430","author":"Broy","year":"1989"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB18","series-title":"Program Design Calculi","first-page":"121","article-title":"(Inter-) Action refinement: the easy way","author":"Broy","year":"1993"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB19","series-title":"Proc. Logic Programming Conf.","first-page":"199","article-title":"A distributed logic language based on multiple tuple spaces","author":"Bucci","year":"1991"},{"issue":"8","key":"10.1016\/S0167-6423(98)00021-5_BIB20","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.1986.1663305","article-title":"Linda and friends","volume":"19","author":"Carriero","year":"1986","journal-title":"IEEE Comput."},{"issue":"2","key":"10.1016\/S0167-6423(98)00021-5_BIB21","first-page":"97","article-title":"Coordination languages and their significance","volume":"5","author":"Carriero","year":"1989","journal-title":"Commun. ACM"},{"issue":"4","key":"10.1016\/S0167-6423(98)00021-5_BIB22","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","article-title":"Linda in context","volume":"32","author":"Carriero","year":"1989","journal-title":"Commun. ACM"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB23","series-title":"Parallel Program Design: A Foundation","author":"Chandy","year":"1988"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB24","series-title":"Ph.D. Thesis","article-title":"Formalism and verification towards software process modelling","author":"Chen","year":"1992"},{"issue":"5","key":"10.1016\/S0167-6423(98)00021-5_BIB25","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/BF01213078","article-title":"Compositional refinements of multiple blackboard systems","volume":"32","author":"Chen","year":"1995","journal-title":"Acta Inform."},{"key":"10.1016\/S0167-6423(98)00021-5_BIB26","series-title":"Proc. 6th IEEE Internat. Workshop on Software Specification and Design","article-title":"PoliS: a programming model for multiple tuple spaces","author":"Ciancarini","year":"1991"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB27","series-title":"Proc. COORDINATION 96","volume":"Vol. 1061","year":"1996"},{"issue":"3","key":"10.1016\/S0167-6423(98)00021-5_BIB28","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1109\/71.80163","article-title":"A UNITY-style programming logic for shared dataspace programs","volume":"1","author":"Cunningam","year":"1990","journal-title":"IEEE Trans. Parallel Distributed Systems"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB29","series-title":"Predicate Calculus and Program Semantics","author":"Dijkstra","year":"1990"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB30","series-title":"Software Process Modelling and Technology","year":"1994"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB31","series-title":"Proc. 2nd Internat. Conf. on Coordination Models and Languages","volume":"Vol. 1282","year":"1997"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB32","series-title":"Proc. ICLP'93 Post-Conf. Workshop on Blackboard-Based Logic Programming","article-title":"Fairness in logic languages based on shared dataspace","author":"Gaspari","year":"1993"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theore. Comput. Sci."},{"issue":"2\u20133","key":"10.1016\/S0167-6423(98)00021-5_BIB34","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/S0167-6423(97)00025-7","article-title":"Coordination in the ImpUNITY framework","volume":"31","author":"Goeman","year":"1998","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB35","series-title":"Mathematical Logic and Programming Languages","first-page":"141","article-title":"Programs are predicates","author":"Hoare","year":"1985"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB36","series-title":"Program Design Calculi","first-page":"161","article-title":"Algebra and models","author":"Hoare","year":"1993"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB37","series-title":"Proc. 12th Internat. Conf. on Logic Programming, ICLP'95","first-page":"531","article-title":"On composing concurrent logic processes","author":"Jacquet","year":"1995"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB38","series-title":"Information Processing 83","first-page":"321","article-title":"Specification and design of (parallel) programs","author":"Jones","year":"1983"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB39","series-title":"Temporal Logic of Programs","author":"Kr\u00f6ger","year":"1987"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB40","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB41","series-title":"Foundations of Computer Science IV, Distributed Systems: Part 2","first-page":"163","article-title":"Verification of concurrent programs: a temporal proof system","volume":"Vol. 159","author":"Manna","year":"1983"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB42","series-title":"the Temporal Logic of Reactive and Concurrent Systems","author":"Manna","year":"1992"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB43","series-title":"Software Process Modelling and Technology","first-page":"131","article-title":"Oikos: constructing process-centered SDEs","author":"Montangero","year":"1994"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB44","series-title":"Proc. 4th Internat. Conf. on the Software Process ICSP4","first-page":"63","article-title":"Applying refinement calculi to software process modelling","author":"Montangero","year":"1996"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB45","series-title":"2nd Internat. Software Architecture Workshop, Proc. SIGSOFT '96 Workshops, Part 1","first-page":"76","article-title":"Refining by architectural styles or architecting by refinements","author":"Montangero","year":"1996"},{"issue":"2","key":"10.1016\/S0167-6423(98)00021-5_BIB46","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0304-3975(97)00152-7","article-title":"Entailment based actions for coordination","volume":"192","author":"Monteiro","year":"1998","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0167-6423(98)00021-5_BIB47","series-title":"Programming from Specifications","author":"Morgan","year":"1990"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB48","series-title":"Program Design Calculi","first-page":"3","article-title":"The refinement calculus","author":"Morgan","year":"1993"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB49","series-title":"Current Trends in Concurrency","first-page":"510","article-title":"Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends","volume":"Vol. 224","author":"Pnueli","year":"1986"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB50","series-title":"Coordination Programming: Mechanisms, Models and Semantics","first-page":"65","article-title":"Truth and action osmosis (The TAO Computational Model)","author":"Porto","year":"1996"},{"issue":"2","key":"10.1016\/S0167-6423(98)00021-5_BIB51","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1109\/32.62445","article-title":"Mixed programming metaphors in a shared dataspace model of concurrency","volume":"16","author":"Roman","year":"1990","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"10.1016\/S0167-6423(98)00021-5_BIB52","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1109\/32.221138","article-title":"Formal derivation of rule-based programs","volume":"19","author":"Roman","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0167-6423(98)00021-5_BIB53","series-title":"Ph.D. Thesis","first-page":"10","article-title":"Refinement in tuple space languages","author":"Semini","year":"1996"},{"key":"10.1016\/S0167-6423(98)00021-5_BIB54","series-title":"The Art of Prolog","author":"Sterling","year":"1994"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642398000215?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642398000215?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T03:56:05Z","timestamp":1555473365000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642398000215"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,6]]}},"alternative-id":["S0167642398000215"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(98)00021-5","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}