{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T21:41:16Z","timestamp":1745962876304,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2003.1207710","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T14:34:28Z","timestamp":1079966068000},"page":"157-166","source":"Crossref","is-referenced-by-count":14,"title":["Communicating transaction processes"],"prefix":"10.1109","author":[{"given":"A.","family":"Roychoudhury","sequence":"first","affiliation":[]},{"given":"P.S.","family":"Thiagarajan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Message sequence graphs and finitely generated regular MSC languages","author":"hendriksen","year":"2000","journal-title":"International Colloquium on Automata Languages and Programming (ICALP) LNCS 1853"},{"key":"ref11","article-title":"From MSCs to statecharts","author":"krueger","year":"1998","journal-title":"Workshop on Distributed and Parallel Embedded Systems (DIPES)"},{"key":"ref12","article-title":"Theoretical Computer Science (TCS)","volume":"13","author":"nielsen","year":"1981","journal-title":"Petri nets event structures and domains"},{"key":"ref13","article-title":"An executable specification language based on message sequence charts","author":"roychoudhury","year":"2002","journal-title":"Formal Methods at the Crossroads From Panacea to Foundational Support"},{"key":"ref14","article-title":"Synthesis of embedded software using free-choice Petri nets","author":"sgroi","year":"1999","journal-title":"ACM Design Automation Conference (DAC)"},{"journal-title":"Message Sequence Chart (MSC)","article-title":"Z.120","year":"1996","key":"ref15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"article-title":"Model Checking","year":"1999","author":"clarke","key":"ref3"},{"article-title":"Doing Hard Time: Developing Real-time Systems using UML, Objects, Frameworks and Patterns","year":"1999","author":"douglass","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054102000935"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46428-X_3"},{"key":"ref2","article-title":"Hmscs as partial specifications … with pns as completions","author":"caillaud","year":"2001","journal-title":"Modeling and Verification of Parallel Processes 4th Summer School MOVEP 2000 LNCS 2067"},{"key":"ref1","article-title":"Realizability and verification of MSC graphs","author":"alur","year":"2001","journal-title":"International Colloquium on Automata Languages and Programming (ICALP)"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36126-X_23","article-title":"Smart playout of behavioral requirements","author":"harel","year":"2002","journal-title":"International Conference on Formal Methods in Computer Aided Design (FMCAD)"}],"event":{"name":"International Conference on Application of Concurrency to System Design (ACSD'2003)","acronym":"CSD-03","location":"Guimaraes, Portugal"},"container-title":["Third International Conference on Application of Concurrency to System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8583\/27182\/01207710.pdf?arnumber=1207710","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:25:57Z","timestamp":1497587157000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207710\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/csd.2003.1207710","relation":{},"subject":[]}}