Parameterised bisimulations: some applications

DOI10.1007/978-3-319-06251-8_13MaRDI QIDQ5410486zbMATH OpenOpenAlexFDO

Authors Divyanshu Bagga, S. Arun-Kumar

Publication date 16 April 2014

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06251-8_13

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 5587282
• On context bisimulation for parameterized higher-order processes
• Logical characterisation of parameterised bisimulations
• scientific article; zbMATH DE number 1231555
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)

Cited in

(6)

• Bisimulation indexes and their applications
• Logical characterisation of parameterised bisimulations
• Topological construction of parameterized bisimulation limit
• scientific article; zbMATH DE number 70113 (Why is no real title available?)
• Extended transition systems for parametric bisimulation
• A Study on Team Bisimulations for BPP Nets

This page was built for publication: Parameterised bisimulations: some applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5410486)