Abstract
A many-sorted variant, called stalk format, of the single sorted tyft-format for transition system specifications, introduced by Groote and Vaandrager, is proposed. The stalk format is shown to be a convenient formalism to express continuation-style transition systems for which the existing formats seem less adequate. Extending a similar result for the single sorted case, it holds that for an appropriate generalization of strong bisimilarity for the present many-sorted setting, bisimulation with respect to a transition system specification in stalk format, is a congruence. The present format is compared with several existing ones in the literature, viz. De Simone-, GSOS- and pure tyft-format.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
