Situated transition systems
Nester, Chad Mitchell
arXiv
2022
/
p. 103-115
https://doi.org/10.4204/EPTCS.372.8
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85142933767&origin=inward&txGid=aa703bff0532a11a2db3446f14ca2ddd
https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300009
Span(Graph) : a canonical feedback algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Software and systems modeling
2023
/
p. 495-520 : ill
https://doi.org/10.1007/s10270-023-01092-7
https://www.scopus.com/sourceid/144641
https://www.scopus.com/record/display.uri?eid=2-s2.0-85150476245&origin=resultslist&sort=plf-f&src=s&sid=2f6521f66136a16cc4250bbbe569d174&sot=b&sdt=b&s=DOI%2810.1007%2Fs10270-023-01092-7%29&sl=23&sessionSearchId=2f6521f66136a16cc4250bbbe569d174
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SOFTW%20SYST%20MODEL&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000957065300001