Formally verified animation for RoboChart using interaction trees

Saved in:
Bibliographic Details
Published in:Journal of logical and algebraic methods in programming 2024-02, Vol.137, p.100940, Article 100940
Main Authors: Ye, Kangfeng, Foster, Simon, Woodcock, Jim
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites cdi_FETCH-LOGICAL-c244t-448bb6c028ffe4fe3c50d9841069947ff689c379535bb6f78735f5c327f1eeaf3
container_end_page
container_issue
container_start_page 100940
container_title Journal of logical and algebraic methods in programming
container_volume 137
creator Ye, Kangfeng
Foster, Simon
Woodcock, Jim
description
doi_str_mv 10.1016/j.jlamp.2023.100940
format article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1016_j_jlamp_2023_100940</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1016_j_jlamp_2023_100940</sourcerecordid><originalsourceid>FETCH-LOGICAL-c244t-448bb6c028ffe4fe3c50d9841069947ff689c379535bb6f78735f5c327f1eeaf3</originalsourceid><addsrcrecordid>eNotj81KAzEcxHNQsNQ-gZe8wK753CTHslgVCoLoOWTT_DXL7qYkq9C3d9t6GpgZhvkh9EBJTQltHvu6H9x4rBlhfHGIEeQGrRiXrGKM6Du0KaUnZKlqpTldoe0u5dENwwn_hhwhhgN2UxzdHNOEIWX8nrrUfrs8458Spy8cpzlk5y_5nEMo9-gW3FDC5l_X6HP39NG-VPu359d2u688E2KuhNBd13jCNEAQELiX5GC0oKQxRiiARhvPlZFcLj1QWnEJ0nOmgIbggK8Rv-76nErJAewxL0fzyVJiz_C2txd4e4a3V3j-B9_CUWA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Formally verified animation for RoboChart using interaction trees</title><source>ScienceDirect Freedom Collection 2022-2024</source><creator>Ye, Kangfeng ; Foster, Simon ; Woodcock, Jim</creator><creatorcontrib>Ye, Kangfeng ; Foster, Simon ; Woodcock, Jim</creatorcontrib><identifier>ISSN: 2352-2208</identifier><identifier>DOI: 10.1016/j.jlamp.2023.100940</identifier><language>eng</language><ispartof>Journal of logical and algebraic methods in programming, 2024-02, Vol.137, p.100940, Article 100940</ispartof><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c244t-448bb6c028ffe4fe3c50d9841069947ff689c379535bb6f78735f5c327f1eeaf3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Ye, Kangfeng</creatorcontrib><creatorcontrib>Foster, Simon</creatorcontrib><creatorcontrib>Woodcock, Jim</creatorcontrib><title>Formally verified animation for RoboChart using interaction trees</title><title>Journal of logical and algebraic methods in programming</title><issn>2352-2208</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><recordid>eNotj81KAzEcxHNQsNQ-gZe8wK753CTHslgVCoLoOWTT_DXL7qYkq9C3d9t6GpgZhvkh9EBJTQltHvu6H9x4rBlhfHGIEeQGrRiXrGKM6Du0KaUnZKlqpTldoe0u5dENwwn_hhwhhgN2UxzdHNOEIWX8nrrUfrs8458Spy8cpzlk5y_5nEMo9-gW3FDC5l_X6HP39NG-VPu359d2u688E2KuhNBd13jCNEAQELiX5GC0oKQxRiiARhvPlZFcLj1QWnEJ0nOmgIbggK8Rv-76nErJAewxL0fzyVJiz_C2txd4e4a3V3j-B9_CUWA</recordid><startdate>202402</startdate><enddate>202402</enddate><creator>Ye, Kangfeng</creator><creator>Foster, Simon</creator><creator>Woodcock, Jim</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>202402</creationdate><title>Formally verified animation for RoboChart using interaction trees</title><author>Ye, Kangfeng ; Foster, Simon ; Woodcock, Jim</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c244t-448bb6c028ffe4fe3c50d9841069947ff689c379535bb6f78735f5c327f1eeaf3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Ye, Kangfeng</creatorcontrib><creatorcontrib>Foster, Simon</creatorcontrib><creatorcontrib>Woodcock, Jim</creatorcontrib><collection>CrossRef</collection><jtitle>Journal of logical and algebraic methods in programming</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Ye, Kangfeng</au><au>Foster, Simon</au><au>Woodcock, Jim</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formally verified animation for RoboChart using interaction trees</atitle><jtitle>Journal of logical and algebraic methods in programming</jtitle><date>2024-02</date><risdate>2024</risdate><volume>137</volume><spage>100940</spage><pages>100940-</pages><artnum>100940</artnum><issn>2352-2208</issn><doi>10.1016/j.jlamp.2023.100940</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 2352-2208
ispartof Journal of logical and algebraic methods in programming, 2024-02, Vol.137, p.100940, Article 100940
issn 2352-2208
language eng
recordid cdi_crossref_primary_10_1016_j_jlamp_2023_100940
source ScienceDirect Freedom Collection 2022-2024
title Formally verified animation for RoboChart using interaction trees
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-13T14%3A30%3A34IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formally%20verified%20animation%20for%20RoboChart%20using%20interaction%20trees&rft.jtitle=Journal%20of%20logical%20and%20algebraic%20methods%20in%20programming&rft.au=Ye,%20Kangfeng&rft.date=2024-02&rft.volume=137&rft.spage=100940&rft.pages=100940-&rft.artnum=100940&rft.issn=2352-2208&rft_id=info:doi/10.1016/j.jlamp.2023.100940&rft_dat=%3Ccrossref%3E10_1016_j_jlamp_2023_100940%3C/crossref%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c244t-448bb6c028ffe4fe3c50d9841069947ff689c379535bb6f78735f5c327f1eeaf3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true