Weak Bisimulation Approximants

DOI10.1007/11874683_24MaRDI QIDQ3613350zbMATH OpenOpenAlexWikidataFDO

Authors Will Harwood, Anton Setzer, Faron Moller

Publication date 12 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://cronfa.swan.ac.uk/Record/cronfa1733/Download/0001733-18052015005610.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1418352
• Approximating weak bisimilarity of basic parallel processes
• More on Weak Bisimilarity of Normed Basic Parallel Processes
• scientific article; zbMATH DE number 1696897
• Complexity of Weak Bisimilarity and Regularity for BPA and BPP

Cited in

(9)

• New up-to techniques for weak bisimulation
• Weak bisimulations for fuzzy automata
• scientific article; zbMATH DE number 2040321 (Why is no real title available?)
• scientific article; zbMATH DE number 1418352 (Why is no real title available?)
• Approximating weak bisimilarity of basic parallel processes
• On cool congruence formats for weak bisimulations
• Structural operational semantics for weak bisimulations
• Linearizing well quasi-orders and bounding the length of bad sequences
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces

This page was built for publication: Weak Bisimulation Approximants

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