{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:47:58Z","timestamp":1761490078636},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/sysose.2016.7542925","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:31Z","timestamp":1471292911000},"page":"1-6","source":"Crossref","is-referenced-by-count":26,"title":["\u03c0-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems"],"prefix":"10.1109","author":[{"given":"Flavio","family":"Oquendo","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384144"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.03.017"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542939"},{"key":"ref11","first-page":"260","author":"hoare","year":"2004","journal-title":"Communicating Sequential Processes"},{"journal-title":"Systems and Software Engineering - Architecture Description","first-page":"46","year":"2011","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88562-7_10"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39800-4_3"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465490"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"ref17","first-page":"434","author":"magee","year":"2006","journal-title":"Concurrency State Models and Java Programs"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.74"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2015.7151951"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.20"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18734-6_11"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.133.6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2015.21"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3550-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SESoS.2015.10"},{"key":"ref7","first-page":"1","article-title":"Using Wireless Sensor Networks in the Sensor Web for Flood Monitoring in Brazil: Lessons Learned","author":"degrossi","year":"2013","journal-title":"Proc of the 10th InternationalConference on Information Systems for Crisis Response and Management (ISCRAM)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.03.010"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695795"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"journal-title":"Communicating and Mobile Systems The p calculus","year":"1999","author":"milner","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/986710.986728"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-013-9145-3"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2013.34"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2016.7542926"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41660-6_24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1998.705654"}],"event":{"name":"2016 11th System of Systems Engineering Conference (SoSE)","start":{"date-parts":[[2016,6,12]]},"location":"Kongsberg, Norway","end":{"date-parts":[[2016,6,16]]}},"container-title":["2016 11th System of Systems Engineering Conference (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7533679\/7542882\/07542925.pdf?arnumber=7542925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:51:53Z","timestamp":1602687113000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7542925"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/sysose.2016.7542925","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}