{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:51:13Z","timestamp":1729641073209,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wicsa.2004.1310704","type":"proceedings-article","created":{"date-parts":[[2004,8,13]],"date-time":"2004-08-13T05:09:39Z","timestamp":1092373779000},"page":"211-220","source":"Crossref","is-referenced-by-count":1,"title":["Reactive types for dataflow-oriented software architectures"],"prefix":"10.1109","author":[{"given":"B.","family":"Norton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Fairtlough","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Reactive types for dataflow-oriented component-based development","volume":"csr 2 6","author":"norton","year":"2002","journal-title":"Proc 2nd Workshop on Automated Verification of Critical Systems (AVoCS '02) Volume CSR-02-6 of Technical Report Series"},{"key":"22","article-title":"Type specifications with processes","volume":"43","author":"puntigam","year":"1995","journal-title":"Proc 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE '95) Volume 43 of IFIP Conference Proc"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1083"},{"key":"23","first-page":"217","article-title":"CCS + time = An interleaving model for real time systems","volume":"510","author":"yi","year":"1991","journal-title":"18th International Colloquium on Automata Languages and Programming (1CALP '91) Volume 510 of LNCS"},{"key":"18","first-page":"1","article-title":"Regular types for active objects","author":"nierstrasz","year":"1993","journal-title":"Proc 8th Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA '93)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0043-8"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"16"},{"key":"13","first-page":"184","article-title":"Modular analysis of dataflow process networks","author":"jin","year":"2003","journal-title":"Proc 6th Intl Conference on Pandamental Approaches to Software Engineering (FASE '03)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/71.89067"},{"key":"11","first-page":"2","article-title":"Timed process algberas: A tutorial","volume":"1993","author":"hennessy","year":"1993","journal-title":"Technical Report"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1041"},{"key":"21","article-title":"A compositional semantic theory for synchronous componentbased design","author":"norton","year":"2003","journal-title":"14th Intl Conference on Concurreny Theory (CONCUR '03)"},{"journal-title":"Handbook of Process Algebra","year":"2002","author":"bergstra","key":"3"},{"journal-title":"Reactive Types for Component-based Development","year":"2004","author":"norton","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57880-3_4"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0055622","article-title":"Alternating refinement relations","author":"alur","year":"1998","journal-title":"Proc 9th Intl Conference on Concurreny Theory (CONCUR '98)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"7","first-page":"428","article-title":"Interface compatibility checking for software modules","volume":"2404","author":"chakrabarti","year":"2002","journal-title":"Proc 14th International Conference on Computer Aided Verification (CAV'02) Volume 2404 of LNCS"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/82.868454"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"4","first-page":"140","article-title":"On the formalisation of architectural types with process algebras","author":"bernardo","year":"2000","journal-title":"Proc 8th Intl Symposium on Modeling Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2000)"},{"key":"9","first-page":"109","article-title":"Interface automata","volume":"26","author":"de alfaro","year":"2001","journal-title":"Proc 8th European Soft Eng Conference and 9th ACM SIGSOFT International Symposium on Foundations of Soft Eng (ESEC\/FSE 2001) Volume 26 5 of Software Engineering Notes"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63141-0_12"}],"event":{"name":"Fourth Working IEEE\/IFIP Conference on Software Architecture (WICSA 2004)","acronym":"WICSA-04","location":"Oslo, Norway"},"container-title":["Proceedings. Fourth Working IEEE\/IFIP Conference on Software Architecture (WICSA 2004)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9167\/29100\/01310704.pdf?arnumber=1310704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T05:29:07Z","timestamp":1497590947000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1310704\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/wicsa.2004.1310704","relation":{},"subject":[]}}