{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T12:23:44Z","timestamp":1648988624825},"reference-count":18,"publisher":"Elsevier BV","issue":"10","license":[{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessors and Microsystems"],"published-print":{"date-parts":[[1998,4]]},"DOI":"10.1016\/s0141-9331(98)00061-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T08:57:47Z","timestamp":1027587467000},"page":"595-603","source":"Crossref","is-referenced-by-count":1,"title":["Specification composition for the verification of message passing program composition"],"prefix":"10.1016","volume":"21","author":[{"given":"J.Y.","family":"Cotronis","sequence":"first","affiliation":[]},{"given":"Z.","family":"Tsiatsoulis","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"12","key":"10.1016\/S0141-9331(98)00061-1_BIB1","first-page":"160","article-title":"Research directions in software composition","volume":"27","author":"Nierstrasz","year":"1995","journal-title":"ACM Computing Surveys"},{"issue":"9","key":"10.1016\/S0141-9331(98)00061-1_BIB2","doi-asserted-by":"crossref","DOI":"10.1145\/130994.131005","article-title":"Component-oriented software development","volume":"35","author":"Nierstrasz","year":"1992","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB3","series-title":"Object-oriented Software Composition","article-title":"Regular types for active objects","author":"Nierstrasz","year":"1995"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB4","series-title":"Proceedings of IFIP International Workshop on Parallel and Distributed Software Engineering","first-page":"74","article-title":"Efficient composition and automatic initialization of arbitrarily structured PVM programs","author":"Cotronis","year":"1996"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB5","series-title":"Proceedings of Euromicro Conference 96","first-page":"545","article-title":"Efficient program composition on Parix by the Ensemble methodology","author":"Cotronis","year":"1996"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB6","author":"Geist","year":"1994","journal-title":"PVM 3 User's guide and Reference Manual, ORN-LITM-12187"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB7","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/0167-8191(94)90021-3","article-title":"An overview of message passing environments","volume":"20","author":"McBryan","year":"1994","journal-title":"Parallel Computing"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB8","year":"1993","journal-title":"Parsytec Computer Gmbh, Parix 1.9 Manual"},{"issue":"4","key":"10.1016\/S0141-9331(98)00061-1_BIB9","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MC.1996.488298","article-title":"Lightweight formal methods, in An Invitation to Formal Methods","volume":"29","author":"Jackson","year":"1996","journal-title":"IEEE Computer"},{"issue":"4","key":"10.1016\/S0141-9331(98)00061-1_BIB10","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MC.1996.488298","article-title":"Mathematical methods: what we need and don't need, in An Invitation to Formal Methods","volume":"29","author":"Parnas","year":"1996","journal-title":"IEEE Computer"},{"issue":"1","key":"10.1016\/S0141-9331(98)00061-1_BIB11","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/103162.103164","article-title":"Paradigms for process interaction in distributed programs","volume":"23","author":"Andrews","year":"1991","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB12","article-title":"Compositional Partial Order Semantics for Petri Net Components","author":"Kindler","year":"1996"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB13","series-title":"Proceedings of Application and Theory of Petri Nets '95","article-title":"A class of composable high level Petri nets","author":"Best","year":"1995"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB14","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB15","series-title":"Proceedings of Structures in Concurrency Theory, Workshops in Computing","first-page":"85","article-title":"An M-net semantics of B(PN)2","author":"Best","year":"1995"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB16","article-title":"Petri Net Based Software Validation","author":"Heiner","year":"1992","journal-title":"International Computer Science Institute ICSI TR-92-022"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB17","series-title":"Advances in Petri Nets, LNCS 483","first-page":"342","article-title":"Coloured Petri nets: a high level language for system design and analysis","author":"Jensen","year":"1990"},{"key":"10.1016\/S0141-9331(98)00061-1_BIB18","author":"Jensen","year":"1996"}],"container-title":["Microprocessors and Microsystems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0141933198000611?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0141933198000611?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T21:55:57Z","timestamp":1556574957000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0141933198000611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,4]]},"references-count":18,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1998,4]]}},"alternative-id":["S0141933198000611"],"URL":"https:\/\/doi.org\/10.1016\/s0141-9331(98)00061-1","relation":{},"ISSN":["0141-9331"],"issn-type":[{"value":"0141-9331","type":"print"}],"subject":[],"published":{"date-parts":[[1998,4]]}}}