Crossmark

Compositional verification of concurrent systems by combining bisimulations

Crossref DOI link: https://doi.org/10.1007/s10703-021-00360-w

Published Online: 2021-02-18

Published Print: 2021-10

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Lang, Frédéric

Mateescu, Radu

Mazzanti, Franco
License Information

Text and Data Mining valid from 2021-02-18

Version of Record valid from 2021-02-18
More Information

Article History

Received: 9 March 2020

Accepted: 18 January 2021

First Online: 18 February 2021